Skip to content

Merge pull request #1010 from andyleiserson/cov #3843

Merge pull request #1010 from andyleiserson/cov

Merge pull request #1010 from andyleiserson/cov #3843

Triggered via push April 12, 2024 15:03
Status Success
Total duration 9m 7s
Artifacts

check.yml

on: push
Basic Checks
8m 55s
Basic Checks
Release builds and tests
6m 46s
Release builds and tests
Additional Builds and Concurrency Tests
7m 47s
Additional Builds and Concurrency Tests
miri
2m 34s
miri
Measure coverage
8m 56s
Measure coverage
Matrix: sanitize
Fit to window
Zoom out
Zoom in