CI tests

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
clingo 3.7 ubuntu-latest	6m 28s
clingo 3.7 macos-latest	12m 49s
clingo 3.7 windows-latest	10m 46s
	30m 3s