Skip to content
Quint

fix(spec): layout in documentation file #521

Sign in to view logs

fix(spec): layout in documentation file

fix(spec): layout in documentation file #521

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Test
5m 19s
Typecheck
46s
6m 5s