CI tests

Merge pull request #465 from potassco/contributing #570

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
clingo 3.7 ubuntu-latest	7m 50s
clingo 3.7 macos-latest	10m 35s
clingo 3.7 windows-latest	11m 2s
	29m 27s