Skip to content
Quint

spec: Align VoteKeeper spec with the code #109

Sign in to view logs

spec: Align VoteKeeper spec with the code

spec: Align VoteKeeper spec with the code #109

Triggered via pull request November 24, 2023 14:11
@romacromac
opened #84
romac/apply-vote-round
Status Success
Total duration 2m 1s
Artifacts –

quint.yml

on: pull_request
Typecheck
1m 52s
Typecheck
Test
1m 25s
Test
Fit to window
Zoom out
Zoom in