Bootstrapping #180

Job	Run time
fedora-clingo-sources	3m 54s
macos-clingo-binaries (macos-11)	7m 9s
macos-gnupg-binaries	1m 0s
macos-clingo-sources	20m 0s
macos-clingo-binaries (macos-12)	6m 13s
macos-gnupg-sources	1m 0s
opensuse-clingo-sources	4m 43s
ubuntu-clingo-binaries	4m 46s
ubuntu-clingo-binaries-and-patchelf	1m 31s
ubuntu-clingo-sources	4m 40s
ubuntu-gnupg-binaries	1m 29s
ubuntu-gnupg-sources	1m 32s
	57m 57s

Provide feedback