Skip to content

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

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

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

Triggered via push December 20, 2024 12:26
Status Failure
Total duration 41m 50s
Artifacts
Matrix: aarch64
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 2 warnings
Linux • Toolchain aarch64
Process completed with exit code 2.
Linux • Toolchain aarch64be
Process completed with exit code 2.
Linux • Toolchain aarch64
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Linux • Toolchain aarch64be
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636