Prusti 2.0: Free PCS #7257
test.yml
on: pull_request
fmt-check
32s
clippy-check
4m 11s
check-deps
5m 15s
smir-check
4s
quick-tests
3m 21s
can-merge
3s
Annotations
4 errors
quick-tests
Process completed with exit code 101.
|
clippy-check
Process completed with exit code 101.
|
check-deps
Process completed with exit code 1.
|
can-merge
Process completed with exit code 1.
|