Update dependencies (rustc nightly-2023-11-01, viper v-2023-09-27-0729) #7276
JonasAlaiftest.yml
on: pull_request
fmt-check
34s
clippy-check
1m 22s
check-deps
3m 10s
smir-check
5s
quick-tests
2m 46s
can-merge
5s
Annotations
5 errors
|
fmt-check
Process completed with exit code 1.
|
|
clippy-check
Process completed with exit code 101.
|
|
quick-tests
Process completed with exit code 101.
|
|
check-deps
Process completed with exit code 1.
|
|
can-merge
Process completed with exit code 1.
|