Skip to content

removing unused field r #3726

removing unused field r

removing unused field r #3726

Triggered via push March 17, 2024 06:15
Status Failure
Total duration 10m 55s
Artifacts

check.yml

on: push
Basic Checks
5m 24s
Basic Checks
Release builds and tests
4m 55s
Release builds and tests
Additional Builds and Concurrency Tests
6m 49s
Additional Builds and Concurrency Tests
miri
2m 19s
miri
Measure coverage
10m 46s
Measure coverage
Matrix: sanitize
Fit to window
Zoom out
Zoom in

Annotations

1 error and 4 warnings
Basic Checks
Process completed with exit code 101.
Release builds and tests
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/cache@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
Basic Checks
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/cache@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
Additional Builds and Concurrency Tests
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/cache@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
Measure coverage
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: codecov/codecov-action@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.