Bootstrapping

Bootstrapping #512

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
macos-gnupg-binaries	1m 36s
fedora-clingo-sources	7m 44s
macos-clingo-sources	5m 5s
macos-clingo-binaries (3.5)	1m 42s
macos-gnupg-sources	29m 41s
macos-clingo-binaries (3.6)	1m 29s
opensuse-clingo-sources	5m 28s
macos-clingo-binaries (3.7)	1m 32s
ubuntu-clingo-binaries (2.7)	11s
ubuntu-clingo-sources	4m 59s
macos-clingo-binaries (3.8)	1m 37s
ubuntu-gnupg-binaries	1m 31s
ubuntu-clingo-binaries (3.5)	11s
macos-clingo-binaries (3.9)	1m 6s
ubuntu-clingo-binaries (3.6)	12s
ubuntu-gnupg-sources	26m 32s
ubuntu-clingo-binaries (3.7)	29s
ubuntu-clingo-binaries (3.8)	27s
ubuntu-clingo-binaries (3.9)	27s
	1h 31m 59s