Skip to content
Quint

feat(spec): Clean up, addresses all points in issue 151 (#154) #235

Sign in to view logs

feat(spec): Clean up, addresses all points in issue 151 (#154)

feat(spec): Clean up, addresses all points in issue 151 (#154) #235

Triggered via push January 16, 2024 10:40
@romacromac
pushed e122983
main
Status Success
Total duration 5m 40s
Artifacts –

quint.yml

on: push
Typecheck
1m 28s
Typecheck
Test
5m 29s
Test
Fit to window
Zoom out
Zoom in