Skip to content
Coverage

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

Sign in to view logs

spec: Refactor votekeeper using quint's new sum types

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

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

coverage.yml

on: pull_request
Integration
1m 5s
Integration
MBT
2m 28s
MBT
Fit to window
Zoom out
Zoom in