Skip to content
CI tests

Merge pull request #448 from potassco/revert-447-fix/hide-symbols #533

Sign in to view logs

Merge pull request #448 from potassco/revert-447-fix/hide-symbols

Merge pull request #448 from potassco/revert-447-fix/hide-symbols #533

Run time

Learn about OS pricing on GitHub Actions
Job Run time
clingo 3.7 ubuntu-latest
11m 49s
clingo 3.7 macos-latest
28m 57s
clingo 3.7 windows-latest
18m 51s
59m 37s