Build

reduce peak memory usage for refinement queries #965

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ubuntu-22.04 g++-13 Release	7m 45s
ubuntu-22.04 g++-13 Release Redis	7m 53s
ubuntu-22.04 g++-13 Debug	7m 18s
ubuntu-22.04 g++-13 Debug Redis	7m 16s
ubuntu-22.04 clang++-17 Release	6m 55s
ubuntu-22.04 clang++-17 Release Redis	7m 23s
ubuntu-22.04 clang++-17 Debug	7m 39s
ubuntu-22.04 clang++-17 Debug Redis	7m 24s
ubuntu-22.04 clang++-18 Release	7m 14s
ubuntu-22.04 clang++-18 Release Redis	7m 18s
ubuntu-22.04 clang++-18 Debug	7m 30s
ubuntu-22.04 clang++-18 Debug Redis	7m 27s
macos-13 clang++ Release	7m 5s
macos-13 clang++ Debug	6m 50s
	1h 42m 57s