Skip to content

Merge pull request #954 from andyleiserson/u128 #3642

Merge pull request #954 from andyleiserson/u128

Merge pull request #954 from andyleiserson/u128 #3642

Triggered via push February 21, 2024 19:35
Status Success
Total duration 8m 41s
Artifacts

check.yml

on: push
Basic Checks
6m 30s
Basic Checks
Release builds and tests
3m 58s
Release builds and tests
Additional Builds and Concurrency Tests
7m 14s
Additional Builds and Concurrency Tests
miri
2m 21s
miri
Measure coverage
8m 29s
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/.