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