Use different seeds for subspace sampling #4645

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
format	18s
docs	23m 12s
tests_old (part1)	11m 5s
tests (part1)	15m 38s
tests_old (part2)	17m 55s
types	1m 11s
tests (part2)	22m 57s
tests_old (part3)	15m 4s
types_old	57s
tests (part3)	18m 35s
tests_old (part4)	19m 14s
tests (part4)	26m 6s
	2h 52m 12s