Skip to content

removing a file I added by accident #3693

removing a file I added by accident

removing a file I added by accident #3693

Triggered via push March 16, 2024 03:40
Status Success
Total duration 10m 26s
Artifacts

check.yml

on: push
Basic Checks
5m 51s
Basic Checks
Release builds and tests
6m 23s
Release builds and tests
Additional Builds and Concurrency Tests
7m 4s
Additional Builds and Concurrency Tests
miri
3m 30s
miri
Measure coverage
8m 53s
Measure coverage
Matrix: sanitize
Fit to window
Zoom out
Zoom in

Annotations

4 warnings
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/.
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/.
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/.