Skip to content

[CP-SAT] remove contention; fix bug with hints and non contiguous dom… #2456

[CP-SAT] remove contention; fix bug with hints and non contiguous dom…

[CP-SAT] remove contention; fix bug with hints and non contiguous dom… #2456

Triggered via push December 11, 2024 10:52
Status Success
Total duration 1h 0m 50s
Artifacts
Matrix: mips
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
Linux • Toolchain mips64el
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Linux • Toolchain mips64
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636