Build

smt expr: add sle peephole #956

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ubuntu-22.04 g++-13 Release	7m 32s
ubuntu-22.04 g++-13 Release Redis	7m 53s
ubuntu-22.04 g++-13 Debug	7m 14s
ubuntu-22.04 g++-13 Debug Redis	7m 35s
ubuntu-22.04 clang++-17 Release	6m 58s
ubuntu-22.04 clang++-17 Release Redis	7m 9s
ubuntu-22.04 clang++-17 Debug	6m 54s
ubuntu-22.04 clang++-17 Debug Redis	6m 57s
ubuntu-22.04 clang++-18 Release	6m 55s
ubuntu-22.04 clang++-18 Release Redis	7m 7s
ubuntu-22.04 clang++-18 Debug	6m 50s
ubuntu-22.04 clang++-18 Debug Redis	7m 11s
macos-13 clang++ Release	8m 17s
macos-13 clang++ Debug	7m 17s
	1h 41m 49s