Update dependencies (rustc nightly-2023-06-15, viper v-2023-05-17-0733) #7052
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
test.yml
on: pull_request
fmt-check
36s
clippy-check
6m 4s
check-deps
12m 51s
smir-check
4s
quick-tests
9m 45s
can-merge
2s
Annotations
3 errors and 5 warnings
fmt-check
Process completed with exit code 1.
|
check-deps
The operation was canceled.
|
can-merge
Process completed with exit code 1.
|
smir-check
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
fmt-check
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
clippy-check
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-java@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
quick-tests
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-java@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
check-deps
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-java@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|