Build

smt: create quantifiers using de Brujin indexes #1483

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ubuntu-24.04 g++-14 Release	6m 23s
ubuntu-24.04 g++-14 Release Redis	6m 55s
ubuntu-24.04 g++-14 Debug	5m 53s
ubuntu-24.04 g++-14 Debug Redis	5m 52s
ubuntu-24.04 clang++-19 Release	6m 11s
ubuntu-24.04 clang++-19 Release Redis	6m 27s
ubuntu-24.04 clang++-19 Debug	6m 8s
ubuntu-24.04 clang++-19 Debug Redis	6m 14s
ubuntu-24.04 clang++-20 Release	6m 15s
ubuntu-24.04 clang++-20 Release Redis	6m 14s
ubuntu-24.04 clang++-20 Debug	6m 14s
ubuntu-24.04 clang++-20 Debug Redis	6m 22s
macos-15 clang++ Release	6m 4s
macos-15 clang++ Debug	6m 10s
	1h 27m 22s