Prusti 2.0: Free PCS #7217
Triggered via pull request
September 28, 2023 14:50
JonasAlaif
Status
Cancelled
Total duration
55m 43s
Artifacts
–
test.yml
on: pull_request
fmt-check
31s
clippy-check
5m 26s
check-deps
14m 43s
smir-check
4s
quick-tests
10m 15s
can-merge
2s
Annotations
12 errors
|
all-tests (ubuntu-latest)
Process completed with exit code 101.
|
|
all-tests (macos-latest)
Process completed with exit code 101.
|
|
all-tests (windows-latest)
Process completed with exit code 1.
|
|
test-crates (2)
Canceling since a higher priority waiting request for 'worflow-Test-1398' exists
|
|
test-crates (2)
The operation was canceled.
|
|
test-crates (3)
Canceling since a higher priority waiting request for 'worflow-Test-1398' exists
|
|
test-crates (3)
The operation was canceled.
|
|
test-crates (0)
Canceling since a higher priority waiting request for 'worflow-Test-1398' exists
|
|
test-crates (0)
The operation was canceled.
|
|
test-crates (1)
Canceling since a higher priority waiting request for 'worflow-Test-1398' exists
|
|
test-crates (1)
The operation was canceled.
|
|
can-merge
Process completed with exit code 1.
|