Skip to content

Fix names of macOS runners #7359

Fix names of macOS runners

Fix names of macOS runners #7359

Triggered via push February 29, 2024 09:58
Status Cancelled
Total duration 9m 36s
Artifacts

test.yml

on: push
check-deps
check-deps
clippy-check
clippy-check
fmt-check
fmt-check
quick-tests
quick-tests
smir-check
smir-check
Matrix: all-tests
Waiting for pending jobs
Matrix: release-build
Waiting for pending jobs
Matrix: test-crates
Waiting for pending jobs
purification-tests
purification-tests
test-on-prusti
test-on-prusti
can-merge
can-merge
Fit to window
Zoom out
Zoom in

Annotations

1 error
Test
Canceling since a higher priority waiting request for 'worflow-Test-refs/heads/master' exists