spec: Refactor consensus and driver modules using sum types #161
quint.yml
on: pull_request
Typecheck
4m 2s
Test
2m 42s
Annotations
1 error
Test
Process completed with exit code 1.
|