Skip to content

Update dependencies (rustc nightly-2023-05-15, viper v-2023-05-13-0727) #6794

Update dependencies (rustc nightly-2023-05-15, viper v-2023-05-13-0727)

Update dependencies (rustc nightly-2023-05-15, viper v-2023-05-13-0727) #6794

Triggered via pull request May 15, 2023 07:05
Status Failure
Total duration 3m 3s
Artifacts

test.yml

on: pull_request
Matrix: all-tests
Matrix: test-crates
purification-tests
0s
purification-tests
test-on-prusti
0s
test-on-prusti
can-merge
2s
can-merge
Fit to window
Zoom out
Zoom in

Annotations

5 errors and 5 warnings
fmt-check
Process completed with exit code 1.
quick-tests
Process completed with exit code 101.
check-deps
Process completed with exit code 1.
clippy-check
Process completed with exit code 101.
can-merge
Process completed with exit code 1.
smir-check
Node.js 12 actions are deprecated. Please update the following actions to use Node.js 16: actions/checkout@v2. For more information see: https://github.blog/changelog/2022-09-22-github-actions-all-actions-will-begin-running-on-node16-instead-of-node12/.
fmt-check
Node.js 12 actions are deprecated. Please update the following actions to use Node.js 16: actions/checkout@v2. For more information see: https://github.blog/changelog/2022-09-22-github-actions-all-actions-will-begin-running-on-node16-instead-of-node12/.
quick-tests
Node.js 12 actions are deprecated. Please update the following actions to use Node.js 16: actions/checkout@v2, actions/setup-java@v1. For more information see: https://github.blog/changelog/2022-09-22-github-actions-all-actions-will-begin-running-on-node16-instead-of-node12/.
check-deps
Node.js 12 actions are deprecated. Please update the following actions to use Node.js 16: actions/checkout@v2, actions/setup-java@v1. For more information see: https://github.blog/changelog/2022-09-22-github-actions-all-actions-will-begin-running-on-node16-instead-of-node12/.
clippy-check
Node.js 12 actions are deprecated. Please update the following actions to use Node.js 16: actions/checkout@v2, actions/setup-java@v1. For more information see: https://github.blog/changelog/2022-09-22-github-actions-all-actions-will-begin-running-on-node16-instead-of-node12/.