CI tests

Merge pull request #463 from potassco/feature/overflow #568

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
clingo 3.7 ubuntu-latest	7m 52s
clingo 3.7 macos-latest	12m 38s
clingo 3.7 windows-latest	10m 43s
	31m 13s