Miri test

Windows compile fix commit #9250

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
run-miri (1)	31m 6s
run-miri (2)	27m 35s
run-miri (5)	21m 22s
run-miri (4)	27m 46s
run-miri (3)	25m 50s
	2h 13m 39s