Skip to content
CI

Make flatten_iters terminate after the first error. #3828

Sign in to view logs

Make flatten_iters terminate after the first error.

Make flatten_iters terminate after the first error. #3828

Triggered via pull request April 5, 2024 23:40
@andyleisersonandyleiserson
opened #1005
andyleiserson:flatten-iters-error-handling
Status Success
Total duration 9m 59s
Artifacts –

check.yml

on: pull_request
Basic Checks
7m 51s
Basic Checks
Release builds and tests
4m 15s
Release builds and tests
Additional Builds and Concurrency Tests
7m 55s
Additional Builds and Concurrency Tests
miri
2m 46s
miri
Measure coverage
9m 50s
Measure coverage
Matrix: sanitize
Fit to window
Zoom out
Zoom in

Annotations

1 warning
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/.