Skip to content

fix(test-harness): hax-engine-names-extract needs hax in PATH #1654

fix(test-harness): hax-engine-names-extract needs hax in PATH

fix(test-harness): hax-engine-names-extract needs hax in PATH #1654

Triggered via pull request April 25, 2024 14:29
Status Skipped
Total duration 4s
Artifacts

test_installs.yml

on: pull_request
Matrix: setup_sh
setup_sh_status
0s
setup_sh_status
Fit to window
Zoom out
Zoom in