Skip to content

removing an explicit type #3717

removing an explicit type

removing an explicit type #3717

Triggered via push March 16, 2024 15:50
Status Success
Total duration 8m 55s
Artifacts

check.yml

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

Annotations

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