Bootstrapping #384

Job	Run time
fedora-clingo-sources	5m 54s
macos-gnupg-binaries	1m 57s
macos-clingo-binaries (macos-11)	6m 11s
macos-clingo-binaries (macos-12)	9m 40s
macos-clingo-sources	8m 40s
macos-gnupg-sources	1m 40s
opensuse-clingo-sources	6m 53s
ubuntu-clingo-binaries	6m 18s
ubuntu-clingo-binaries-and-patchelf	1m 42s
ubuntu-clingo-sources	6m 32s
ubuntu-gnupg-binaries	1m 46s
ubuntu-gnupg-sources	2m 22s
	59m 35s

Provide feedback