Merge pull request #1521 from andyleiserson/workflows #5642
check.yml
on: push
Basic Checks
21m 12s
Release builds and tests
12m 57s
Additional Builds and Concurrency Tests
15m 51s
Slow tests
21m 18s
miri
2m 59s
Measure coverage
28m 52s
Matrix: sanitize
Annotations
6 warnings
miri
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
Release builds and tests
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
Additional Builds and Concurrency Tests
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
Basic Checks
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
Slow tests
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
Measure coverage
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|