Skip to content
powerpc Toolchain

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

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 #832

Run time

Learn about OS pricing on GitHub Actions
Job Run time
powerpc (ppc64)
50m 53s
powerpc (ppc64le)
53m 43s
1h 44m 36s