Skip to content

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

spec: Refactor votekeeper using quint's new sum types

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

Triggered via pull request December 8, 2023 08:41
Status Success
Total duration 4m 7s
Artifacts

quint.yml

on: pull_request
Fit to window
Zoom out
Zoom in