Miri test

WIP cleanup codeowners file #9221

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
run-miri (3)	28m 13s
run-miri (1)	31m 41s
run-miri (5)	22m 52s
run-miri (2)	27m 5s
run-miri (4)	27m 55s
	2h 17m 46s