[CP-SAT] internal protocol improvements; bug fixes #1456
Annotations
4 errors
amd64 • opensuse • Bazel
unable to access 'https://github.com/google/or-tools/': Failed to connect to github.com port 443 after 135047 ms: Connection timed out
|
amd64 • opensuse • Bazel
unable to access 'https://github.com/google/or-tools/': Failed to connect to github.com port 443 after 133395 ms: Connection timed out
|
amd64 • opensuse • Bazel
unable to access 'https://github.com/google/or-tools/': Failed to connect to github.com port 443 after 134486 ms: Connection timed out
|
amd64 • opensuse • Bazel
The process '/usr/bin/git' failed with exit code 128
|