Update dependencies (rustc nightly-2023-12-15, viper v-2023-12-06-0725) #7322
test.yml
on: pull_request
fmt-check
20s
clippy-check
1m 17s
check-deps
1m 45s
smir-check
5s
quick-tests
2m 18s
can-merge
2s
Annotations
5 errors
fmt-check
Process completed with exit code 1.
|
clippy-check
Process completed with exit code 101.
|
check-deps
Process completed with exit code 1.
|
quick-tests
Process completed with exit code 101.
|
can-merge
Process completed with exit code 1.
|