Fixing Docker builds and few improvements #4816
Triggered via pull request
September 12, 2024 22:43
Status
Success
Total duration
15m 21s
Artifacts
–
check.yml
on: pull_request
Basic Checks
15m 12s
Release builds and tests
8m 34s
Additional Builds and Concurrency Tests
10m 16s
Slow tests
5m 20s
miri
2m 52s
Measure coverage
15m 4s
Matrix: sanitize