Build

cex reducer: skip testing implied constraints #1491

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ubuntu-24.04 g++-14 Release	6m 36s
ubuntu-24.04 g++-14 Release Redis	7m 12s
ubuntu-24.04 g++-14 Debug	5m 57s
ubuntu-24.04 g++-14 Debug Redis	6m 32s
ubuntu-24.04 clang++-19 Release	7m 5s
ubuntu-24.04 clang++-19 Release Redis	6m 9s
ubuntu-24.04 clang++-19 Debug	6m 16s
ubuntu-24.04 clang++-19 Debug Redis	6m 29s
ubuntu-24.04 clang++-20 Release	6m 16s
ubuntu-24.04 clang++-20 Release Redis	6m 19s
ubuntu-24.04 clang++-20 Debug	6m 12s
ubuntu-24.04 clang++-20 Debug Redis	7m 22s
macos-15 clang++ Release	4m 32s
macos-15 clang++ Debug	4m 54s
	1h 27m 51s