Skip to content
Quint

bluespec #107

Sign in to view logs

bluespec

bluespec #107

Triggered via pull request November 24, 2023 14:03
@josef-widderjosef-widder
opened #83
josef/bluespec
Status Success
Total duration 2m 1s
Artifacts –

quint.yml

on: pull_request
Typecheck
1m 49s
Typecheck
Test
1m 51s
Test
Fit to window
Zoom out
Zoom in