tests

Merge pull request #111 from potassco/drive-by-fixes #407

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
clingcon 3.10 ubuntu-latest	2m 4s
clingcon 3.10 macos-latest	1m 46s
clingcon 3.10 windows-2019	4m 28s
	8m 18s