Skip to content
Quint

spec: add Consensus English spec #111

Sign in to view logs

spec: add Consensus English spec

spec: add Consensus English spec #111

Triggered via pull request November 27, 2023 12:33
@ancazamfirancazamfir
opened #89
cason/consensus-smr
Status Failure
Total duration 25s
Artifacts –

quint.yml

on: pull_request
Typecheck
12s
Typecheck
Test
10s
Test
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Test
Process completed with exit code 1.
Typecheck
Process completed with exit code 1.