Miri test

Windows compile fix commit #9253

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
run-miri (1)	31m 57s
run-miri (4)	27m 47s
run-miri (3)	25m 38s
run-miri (2)	26m 31s
run-miri (5)	20m 59s
	2h 12m 52s