Skip to content
Quint

spec: Refactor votekeeper using quint's new sum types #151

Sign in to view logs

spec: Refactor votekeeper using quint's new sum types

spec: Refactor votekeeper using quint's new sum types #151

Triggered via pull request December 7, 2023 22:05
@hvanzhvanz
synchronize #76
hvanz/votekeeper-sum-types
Status Success
Total duration 5m 17s
Artifacts –

quint.yml

on: pull_request
Typecheck
5m 4s
Typecheck
Test
3m 53s
Test
Fit to window
Zoom out
Zoom in