Reduce memory consumption during discrete pruning #6260

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ubuntu-20.04-gcc-9 Debug	31m 12s
ubuntu-20.04-gcc-9 Release	25m 14s
ubuntu-20.04-clang-9 Debug	19m 34s
ubuntu-20.04-clang-9 Release	21m 50s
ubuntu-22.04-gcc-11 Debug	26m 20s
ubuntu-22.04-gcc-11 Release	21m 12s
ubuntu-22.04-clang-14 Debug	21m 25s
ubuntu-22.04-clang-14 Release	24m 7s
	3h 10m 54s