Improve job names for miri jobs #2468
ci.yml
on: pull_request
Minimal versions
12s
Clippy
0s
Documentation
16s
Fuzz
29s
Outdated
0s
Matrix: build
Matrix: miri
Matrix: test