Skip to content

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

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

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

Triggered via pull request April 25, 2024 14:29
Status Success
Total duration 3m 50s
Artifacts

test.yml

on: pull_request
no-std-lib
52s
no-std-lib
Matrix: test-workspace
Fit to window
Zoom out
Zoom in

Annotations

5 warnings
no-std-lib
Failed to restore: Cache service responded with 429
test-workspace (macos-latest)
Failed to save: Cache service responded with 429 during commit cache.
test-workspace (macos-latest)
Failed to restore: Cache service responded with 429
test-workspace (ubuntu-latest)
Failed to restore: Cache service responded with 429
test-workspace (ubuntu-latest)
Failed to save: Cache service responded with 429 during commit cache.