Skip to content

[CP-SAT] fix 1 overflow; minor speed up of the sat part; add no_overl… #210

[CP-SAT] fix 1 overflow; minor speed up of the sat part; add no_overl…

[CP-SAT] fix 1 overflow; minor speed up of the sat part; add no_overl… #210

Triggered via push July 19, 2023 18:54
Status Failure
Total duration 6m 34s
Artifacts
Matrix: bazel
Fit to window
Zoom out
Zoom in

Annotations

10 errors
bazel (windows-2022, 3.7)
Process completed with exit code 1.
bazel (windows-2019, 3.7)
Process completed with exit code 1.
bazel (windows-2022, 3.8)
Process completed with exit code 1.
bazel (windows-2019, 3.8)
Process completed with exit code 1.
bazel (windows-2019, 3.10)
Process completed with exit code 1.
bazel (windows-2019, 3.9)
Process completed with exit code 1.
bazel (windows-2022, 3.9)
Process completed with exit code 1.
bazel (windows-2022, 3.10)
Process completed with exit code 1.
bazel (windows-2022, 3.11)
Process completed with exit code 1.
bazel (windows-2019, 3.11)
Process completed with exit code 1.