Skip to content
CI

Downgrade ubuntu version for sanitizers #572

Sign in to view logs

Downgrade ubuntu version for sanitizers

Downgrade ubuntu version for sanitizers #572

Triggered via push January 13, 2025 19:31
@andyleisersonandyleiserson
pushed 8c715f4
workflows
Status Success
Total duration 28m 27s
Artifacts –

check.yml

on: push
Basic Checks
21m 37s
Basic Checks
Release builds and tests
12m 7s
Release builds and tests
Additional Builds and Concurrency Tests
16m 28s
Additional Builds and Concurrency Tests
Slow tests
20m 39s
Slow tests
miri
2m 57s
miri
Measure coverage
28m 17s
Measure coverage
Matrix: sanitize
Fit to window
Zoom out
Zoom in

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
Slow 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
Measure coverage
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636