Miri test

Print git status #11653

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
run-miri (2)	16m 8s
run-miri (1)	16m 1s
run-miri (3)	16m 13s
run-miri (4)	16m 15s
run-miri (5)	15m 29s
	1h 20m 6s