Skip to content
Quint

spec: Align VoteKeeper spec with the code (#84) #110

Sign in to view logs

spec: Align VoteKeeper spec with the code (#84)

spec: Align VoteKeeper spec with the code (#84) #110

Triggered via push November 27, 2023 11:55
@romacromac
pushed 1c3d844
main
Status Success
Total duration 2m 4s
Artifacts –

quint.yml

on: push
Typecheck
1m 54s
Typecheck
Test
1m 35s
Test
Fit to window
Zoom out
Zoom in