Update dependencies (rustc nightly-2023-06-15, viper v-2023-05-17-0733) #7052

Sign in to view logs

Triggered via pull request July 18, 2023 12:55

Aurel300

synchronize #1411

auto-update-nightly-2023-06-15

Status Cancelled

Total duration 13m 13s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

test.yml

on: pull_request

Matrix: all-tests

Matrix: test-crates

purification-tests

Annotations

3 errors and 5 warnings

Process completed with exit code 1.

The operation was canceled.

Process completed with exit code 1.

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/

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/

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/