Skip to content

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

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

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

Triggered via push March 7, 2025 09:30
Status Failure
Total duration 3h 23m 59s
Artifacts
Matrix: cmake
Fit to window
Zoom out
Zoom in

Annotations

1 error and 1 warning
amd64•opensuse•CMake•dotnet
No space left on device : '/home/runner/runners/2.322.0/_diag/pages/1fdce64c-0619-4c76-807b-cde79457640c_dac8b47d-267b-5bbe-7562-c314f183ec8d_1.log'
amd64•opensuse•CMake•dotnet
You are running out of disk space. The runner will stop working when the machine runs out of disk space. Free space left: 11 MB