Skip to content
Quint

bluespec (#83) #108

Sign in to view logs

bluespec (#83)

bluespec (#83) #108

Triggered via push November 24, 2023 14:05
@josef-widderjosef-widder
pushed c6c695e
main
Status Success
Total duration 2m 8s
Artifacts –

quint.yml

on: push
Typecheck
1m 57s
Typecheck
Test
1m 19s
Test
Fit to window
Zoom out
Zoom in