Skip to content
CI

using the same variable and constant names as the paper #3715

Sign in to view logs

using the same variable and constant names as the paper

using the same variable and constant names as the paper #3715

Triggered via push March 16, 2024 15:44
@benjaminsavagebenjaminsavage
pushed bb6bf73
compute_g
Status Success
Total duration 11m 1s
Artifacts –

check.yml

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