Skip to content
Quint

test(mbt): MBT for round state machine #200

Sign in to view logs

test(mbt): MBT for round state machine

test(mbt): MBT for round state machine #200

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Test
3m 46s
Typecheck
6m 15s
10m 1s