Run Miri in CI #615
check.yml
on: push
Basic Checks
10m 7s
Release builds and tests
6m 31s
Additional Builds and Concurrency Tests
9m 48s
Measure coverage
11m 18s
Matrix: sanitize