Merge from main #841
check.yml
on: push
Basic Checks
10m 36s
Release builds and tests
5m 19s
Additional Builds and Concurrency Tests
8m 42s
Slow tests
6m 15s
miri
3m 48s
Measure coverage
10m 29s
Matrix: sanitize