Skip to content
Quint

spec: Refactor consensus and driver modules using sum types (#116) #186

Sign in to view logs

spec: Refactor consensus and driver modules using sum types (#116)

spec: Refactor consensus and driver modules using sum types (#116) #186

Triggered via push December 14, 2023 15:00
@hvanzhvanz
pushed 32498ca
main
Status Success
Total duration 6m 47s
Artifacts –

quint.yml

on: push
Typecheck
6m 36s
Typecheck
Test
4m 1s
Test
Fit to window
Zoom out
Zoom in