CI tests

Merge pull request #481 from potassco/fix/noexcept-destructor #578

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
clingo 3.7 ubuntu-latest	6m 52s
clingo 3.7 macos-latest	12m 29s
clingo 3.7 windows-latest	10m 17s
	29m 38s