Skip to content
hax

feat(ci/hax): extract runqueue to F*, lax check it #2

Sign in to view logs

feat(ci/hax): extract runqueue to F*, lax check it

feat(ci/hax): extract runqueue to F*, lax check it #2

Run time

Learn about OS pricing on GitHub Actions
Job Run time
hax
1m 48s
1m 48s