Build

add a new specialized smt::expr::subst_var #1478

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ubuntu-24.04 g++-14 Release	7m 50s
ubuntu-24.04 g++-14 Release Redis	6m 37s
ubuntu-24.04 g++-14 Debug	5m 56s
ubuntu-24.04 g++-14 Debug Redis	6m 5s
ubuntu-24.04 clang++-19 Release	6m 59s
ubuntu-24.04 clang++-19 Release Redis	6m 22s
ubuntu-24.04 clang++-19 Debug	6m 13s
ubuntu-24.04 clang++-19 Debug Redis	6m 17s
ubuntu-24.04 clang++-20 Release	6m 20s
ubuntu-24.04 clang++-20 Release Redis	6m 5s
ubuntu-24.04 clang++-20 Debug	6m 6s
ubuntu-24.04 clang++-20 Debug Redis	6m 14s
macos-15 clang++ Release	4m 56s
macos-15 clang++ Debug	4m 44s
	1h 26m 44s