Skip to content
Quint

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

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 #221

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Test
5m 46s
Typecheck
1m 30s
7m 16s