Skip to content
amd64 Docker Bazel

[CP-SAT] remove unused pure sat code; cleanup sat_runner #234

Sign in to view logs

[CP-SAT] remove unused pure sat code; cleanup sat_runner

[CP-SAT] remove unused pure sat code; cleanup sat_runner #234

Run time

Learn about OS pricing on GitHub Actions
Job Run time
bazel (alpine, false)
11m 17s
bazel (archlinux, false)
1h 48m 55s
bazel (centos, false)
3m 29s
bazel (debian, false)
1h 33m 17s
bazel (fedora, false)
3m 51s
bazel (opensuse, false)
1h 14m 7s
bazel (ubuntu, false)
1h 18m 25s
6h 13m 21s