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

Re-run triggered February 29, 2024 11:50
@kaspar030kaspar030
#126
W95Psp:lf/init-hax
Status Success
Total duration 2m 2s
Artifacts –

hax.yml

on: pull_request
hax
1m 48s
hax
Fit to window
Zoom out
Zoom in