Skip to content
Quint

test(mbt): MBT for round state machine (#120) #204

Sign in to view logs

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

test(mbt): MBT for round state machine (#120) #204

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Typecheck
7m 39s
Test
4m 4s
11m 43s