amd64 Linux CMake C++

[CP-SAT] fix vivification bug; more work on encodings #3591

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
amd64•Linux•CMake(Make)•C++	1h 17m 24s
amd64•Linux•CMake(NinjaMulti)•C++	1h 18m 11s
amd64•Linux•CMake(Ninja)•C++	1h 17m 20s
amd64_linux_cmake_cpp	7s
	3h 53m 2s