Merge pull request #1521 from andyleiserson/workflows #574
check.yml
on: push
Basic Checks
20m 23s
Release builds and tests
12m 18s
Additional Builds and Concurrency Tests
15m 57s
Slow tests
22m 1s
miri
3m 4s
Measure coverage
28m 1s
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
|