arm64 MacOS CMake C++

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
arm64•MacOS•CMake(Make)•C++	51m 40s
arm64•MacOS•CMake(Xcode)•C++	1h 26m 34s
arm64_macos_cmake_cpp	7s
	2h 18m 21s