Skip to content

Merge branch 'main' of github.com:google/or-tools #2230

Merge branch 'main' of github.com:google/or-tools

Merge branch 'main' of github.com:google/or-tools #2230

Triggered via push February 7, 2026 19:52
Status Success
Total duration 1h 8m 44s
Artifacts
Matrix: native
arm64_macos_cmake_cpp
6s
arm64_macos_cmake_cpp
Fit to window
Zoom out
Zoom in

Annotations

1 warning
arm64•MacOS•CMake(Xcode)•C++
Cache save failed.