Skip to content
CI tests

Merge pull request #487 from potassco/reduce-option-duplication #594

Sign in to view logs

Merge pull request #487 from potassco/reduce-option-duplication

Merge pull request #487 from potassco/reduce-option-duplication #594

Run time

Learn about OS pricing on GitHub Actions
Job Run time
clingo 3.10 ubuntu-latest
6m 13s
clingo 3.10 macos-latest
12m 29s
clingo 3.10 windows-latest
10m 53s
29m 35s