Skip to content
Quint

feat(code/test): Generalize the test framework to make it work with a… #867

Sign in to view logs

feat(code/test): Generalize the test framework to make it work with a…

feat(code/test): Generalize the test framework to make it work with a… #867

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Detect changes
3s
Test
6m 14s
Typecheck
3m 42s
9m 59s