Skip to content
Quint

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

Sign in to view logs

spec: Refactor votekeeper using quint's new sum types

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

Triggered via pull request November 21, 2023 10:18
@hvanzhvanz
opened #76
hvanz/votekeeper-sum-types
Status Failure
Total duration 50s
Artifacts –

quint.yml

on: pull_request
Typecheck
39s
Typecheck
Test
26s
Test
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Test
Process completed with exit code 1.
Typecheck
Process completed with exit code 1.