IPA bench: log random seed and runtime at info level #3844
check.yml
on: pull_request
Basic Checks
7m 53s
Release builds and tests
6m 21s
Additional Builds and Concurrency Tests
7m 39s
miri
3m 55s
Measure coverage
8m 53s
Matrix: sanitize