Skip to content
CI

Merge pull request #975 from andyleiserson/nightly #3689

Sign in to view logs

Merge pull request #975 from andyleiserson/nightly

Merge pull request #975 from andyleiserson/nightly #3689

Triggered via push March 15, 2024 23:18
@andyleisersonandyleiserson
pushed d574a7c
main
Status Success
Total duration 10m 29s
Artifacts –

check.yml

on: push
Basic Checks
6m 59s
Basic Checks
Release builds and tests
6m 23s
Release builds and tests
Additional Builds and Concurrency Tests
7m 58s
Additional Builds and Concurrency Tests
miri
2m 23s
miri
Measure coverage
10m 19s
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/.
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/.