Skip to content
Quint

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

Sign in to view logs

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

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

Triggered via pull request January 15, 2024 15:21
@romacromac
synchronize #154
josef/i151-clean-up
Status Success
Total duration 5m 27s
Artifacts –

quint.yml

on: pull_request
Typecheck
1m 33s
Typecheck
Test
5m 17s
Test
Fit to window
Zoom out
Zoom in