Bootstrapping #11

Job	Run time
fedora-clingo-sources	4m 35s
macos-clingo-binaries (macos-11)	8m 2s
macos-gnupg-binaries	3m 3s
macos-clingo-sources	5m 1s
macos-clingo-binaries (macos-12)	5m 39s
macos-gnupg-sources	2m 22s
opensuse-clingo-sources	4m 32s
ubuntu-clingo-binaries	4m 51s
ubuntu-clingo-binaries-and-patchelf	1m 39s
ubuntu-clingo-sources	3m 55s
ubuntu-gnupg-binaries	1m 31s
ubuntu-gnupg-sources	1m 41s
	46m 51s

Provide feedback