feat(ci/hax): extract runqueue
to F*, lax check it
#164
Job | Run time |
---|---|
0s | |
0s | |
16s | |
16s |
runqueue
to F*, lax check it
#164
Job | Run time |
---|---|
0s | |
0s | |
16s | |
16s |