Skip to content
Quint

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

Sign in to view logs

spec: Refactor consensus and driver modules using sum types

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

Triggered via pull request December 13, 2023 11:21
@hvanzhvanz
synchronize #116
hvanz/consensus-sum-types
Status Success
Total duration 9m 19s
Artifacts –

quint.yml

on: pull_request
Typecheck
9m 5s
Typecheck
Test
3m 47s
Test
Fit to window
Zoom out
Zoom in