Fix `minNegLogConstant` after pruning #6249

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ubuntu-20.04-gcc-9 Debug	30m 46s
ubuntu-20.04-gcc-9 Release	26m 34s
ubuntu-20.04-clang-9 Debug	20m 6s
ubuntu-20.04-clang-9 Release	21m 7s
ubuntu-22.04-gcc-11 Debug	26m 24s
ubuntu-22.04-gcc-11 Release	22m 46s
ubuntu-22.04-clang-14 Debug	21m 10s
ubuntu-22.04-clang-14 Release	23m 2s
	3h 11m 55s