Skip to content

Merge pull request #981 from private-attribution/final_proof #3744

Merge pull request #981 from private-attribution/final_proof

Merge pull request #981 from private-attribution/final_proof #3744

Triggered via push March 18, 2024 08:32
Status Success
Total duration 10m 3s
Artifacts

check.yml

on: push
Basic Checks
6m 25s
Basic Checks
Release builds and tests
5m 53s
Release builds and tests
Additional Builds and Concurrency Tests
7m 2s
Additional Builds and Concurrency Tests
miri
2m 24s
miri
Measure coverage
9m 54s
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/.