Skip to content
Quint

spec: comments on consensus Quint spec (#22) #7

Sign in to view logs

spec: comments on consensus Quint spec (#22)

spec: comments on consensus Quint spec (#22) #7

Triggered via push October 31, 2023 17:32
@josef-widderjosef-widder
pushed 85db48e
main
Status Success
Total duration 37s
Artifacts –

quint.yml

on: push
Typecheck
22s
Typecheck
Fit to window
Zoom out
Zoom in