build

Run Apalache on instrumented monitor #59

Sign in to view logs

Triggered via pull request April 30, 2024 09:43

thpani

synchronize #40

th/apal-instr-mon

Status Success

Total duration 26s

Artifacts –

main.yml

on: pull_request

Matrix: unit-tests