build

Merge pull request #32 from freespek/th/launch-apalache #45

Sign in to view logs

Triggered via push April 19, 2024 12:52

thpani

main

Status Success

Total duration 29s

Artifacts –

main.yml

on: push

Matrix: unit-tests