Miri test

Add comment for drain #9246

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
run-miri (3)	25m 7s
run-miri (4)	26m 6s
run-miri (2)	26m 21s
run-miri (5)	20m 17s
run-miri (1)	31m 55s
	2h 9m 46s