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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
manylinux2014	2m 17s
macos_clingo (3.6, macos-13, 10.13)	1s
macos_clingo (3.7, macos-13, 10.13)	1s
macos_clingo (3.8, macos-13, 10.13)	1s
macos_clingo (3.8, macos-14, 11)	1s
macos_clingo (3.9, macos-13, 10.13)	1s
macos_clingo (3.9, macos-14, 11)	1s
macos_clingo (3.10, macos-13, 10.13)	2m 22s
macos_clingo (3.10, macos-14, 11)	1s
macos_clingo (3.11, macos-13, 10.13)	1s
macos_clingo (3.11, macos-14, 11)	1m 40s
macos_clingo (3.12, macos-13, 10.13)	1s
macos_clingo (3.12, macos-14, 11)	1s
macos_clingo (3.13, macos-13, 10.13)	1s
macos_clingo (3.13, macos-14, 11)	1s
upload-manylinux2014	1s
clingo_json	1s
	6m 33s