aarch64 Toolchain

[CP-SAT] internal protocol improvements; bug fixes #2051

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Linux • Toolchain aarch64	46m 22s
Linux • Toolchain aarch64be	45m 29s
	1h 31m 51s