Skip to content
CI

Merge pull request #957 from danielmasny/precomputed_lagrange #3690

Sign in to view logs

Merge pull request #957 from danielmasny/precomputed_lagrange

Merge pull request #957 from danielmasny/precomputed_lagrange #3690

Triggered via push March 16, 2024 01:08
@benjaminsavagebenjaminsavage
pushed c50e800
main
Status Success
Total duration 9m 4s
Artifacts –

check.yml

on: push
Basic Checks
6m 55s
Basic Checks
Release builds and tests
5m 33s
Release builds and tests
Additional Builds and Concurrency Tests
8m 52s
Additional Builds and Concurrency Tests
miri
2m 18s
miri
Measure coverage
8m 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/.