clingo

Simplify and fix bugs of bootstrap json file generating script #168

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
manylinux2014	2h 41m 55s
macos_clingo (3.6, macos-13, 10.13)	12m 43s
macos_clingo (3.7, macos-13, 10.13)	15m 51s
macos_clingo (3.8, macos-13, 10.13)	11m 8s
macos_clingo (3.8, macos-14, 11)	4m 35s
macos_clingo (3.9, macos-13, 10.13)	17m 41s
macos_clingo (3.9, macos-14, 11)	7m 29s
macos_clingo (3.10, macos-13, 10.13)	15m 11s
macos_clingo (3.10, macos-14, 11)	5m 1s
macos_clingo (3.11, macos-13, 10.13)	13m 40s
macos_clingo (3.11, macos-14, 11)	4m 14s
macos_clingo (3.12, macos-13, 10.13)	19m 5s
macos_clingo (3.12, macos-14, 11)	5m 43s
macos_clingo (3.13, macos-13, 10.13)	13m 11s
macos_clingo (3.13, macos-14, 11)	6m 35s
upload-manylinux2014	2m 40s
clingo_json	18s
	5h 17m 0s