Skip to content

Debug coverage workflow #7360

Debug coverage workflow

Debug coverage workflow #7360

Triggered via push February 29, 2024 10:08
Status Cancelled
Total duration 15m 51s
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