Miri test

Windows compile fix commit #9255

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
run-miri (4)	26m 58s
run-miri (2)	27m 33s
run-miri (3)	26m 8s
run-miri (1)	31m 45s
run-miri (5)	20m 33s
	2h 12m 57s