Miri test

i had the features reversed #6722

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
run-miri (1)	7m 18s
run-miri (2)	7m 55s
run-miri (3)	7m 1s
run-miri (4)	6m 53s
run-miri (5)	6m 50s
	35m 57s