Merge pull request #470 from nodir-t/master #635

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Miri	7m 3s
Test (stable, false)	1m 44s
Test (beta, false)	1m 34s
Test (nightly, true)	1m 34s
	11m 55s