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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Typecheck
1m 33s
Test
5m 17s
6m 50s