Debug coverage workflow #7358
fpolitest.yml
on: push
check-deps
clippy-check
fmt-check
quick-tests
smir-check
Matrix: all-tests
Waiting for pending jobs
Matrix: release-build
Waiting for pending jobs
Matrix: test-crates
Waiting for pending jobs
test-on-prusti
can-merge
Annotations
1 error
|
Test
Canceling since a higher priority waiting request for 'worflow-Test-refs/heads/master' exists
|