Build

minor simplifications for memory SMT encoding of poison #886

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ubuntu-22.04 g++-11 Release	13m 33s
ubuntu-22.04 g++-11 Release Redis	12m 6s
ubuntu-22.04 g++-11 Debug	15m 19s
ubuntu-22.04 g++-11 Debug Redis	12m 47s
ubuntu-22.04 clang++-17 Release	11m 56s
ubuntu-22.04 clang++-17 Release Redis	12m 20s
ubuntu-22.04 clang++-17 Debug	12m 12s
ubuntu-22.04 clang++-17 Debug Redis	12m 5s
ubuntu-22.04 clang++-18 Release	11m 35s
ubuntu-22.04 clang++-18 Release Redis	13m 1s
ubuntu-22.04 clang++-18 Debug	13m 28s
ubuntu-22.04 clang++-18 Debug Redis	11m 45s
macos-13 clang++ Release	6m 53s
macos-13 clang++ Debug	7m 39s
	2h 46m 39s