Prusti 2.0: Free PCS #7278
Triggered via pull request
November 13, 2023 18:18
JonasAlaif
Status
Failure
Total duration
1h 16m 28s
Artifacts
–
test.yml
on: pull_request
fmt-check
20s
clippy-check
3m 28s
check-deps
14m 52s
smir-check
7s
quick-tests
6m 31s
can-merge
2s
Annotations
4 errors
|
all-tests (windows-latest)
Process completed with exit code 1.
|
|
all-tests (macos-latest)
Process completed with exit code 101.
|
|
all-tests (ubuntu-latest)
Process completed with exit code 101.
|
|
can-merge
Process completed with exit code 1.
|