Skip to content
solvers/kissat

Merge pull request #15 from ozgurakgun/the-abc-problem #14

Sign in to view logs

Merge pull request #15 from ozgurakgun/the-abc-problem

Merge pull request #15 from ozgurakgun/the-abc-problem #14

Run time

Learn about OS pricing on GitHub Actions
Job Run time
solvers/kissat: Mac Build
1m 7s
solvers/kissat: Tests
37s
solvers/kissat: Ubuntu Build
1m 9s
2m 53s