Use record IDs to index proof batches #5058
check.yml
on: pull_request
Basic Checks
22m 33s
Release builds and tests
13m 30s
Additional Builds and Concurrency Tests
15m 19s
Slow tests
13m 59s
miri
2m 52s
Measure coverage
28m 29s
Matrix: sanitize