Skip to content
Quint

spec: Refactor consensus and driver modules using sum types #164

Sign in to view logs

spec: Refactor consensus and driver modules using sum types

spec: Refactor consensus and driver modules using sum types #164

Triggered via pull request December 11, 2023 20:18
@hvanzhvanz
synchronize #116
hvanz/consensus-sum-types
Status Failure
Total duration 2m 23s
Artifacts –

quint.yml

on: pull_request
Typecheck
2m 11s
Typecheck
Test
1m 39s
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.