Skip to content
Quint

First quint draft that is somewhat complete with consensus, executor,… #43

Sign in to view logs

First quint draft that is somewhat complete with consensus, executor,…

First quint draft that is somewhat complete with consensus, executor,… #43

Triggered via push November 15, 2023 14:10
@josef-widderjosef-widder
pushed c4f9bfd
main
Status Success
Total duration 1m 49s
Artifacts –

quint.yml

on: push
Typecheck
1m 38s
Typecheck
Test
59s
Test
Fit to window
Zoom out
Zoom in