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

Triggered via push December 19, 2023 10:56
@romacromac
pushed 22fe845
main
Status Success
Total duration 7m 48s
Artifacts –

quint.yml

on: push
Typecheck
7m 39s
Typecheck
Test
4m 4s
Test
Fit to window
Zoom out
Zoom in