Bootstrapping #1280

Job	Run time
clingo-sources (macos-13)	12m 36s
gnupg-sources (macos-13)	18m 27s
from-binaries (macos-13)	2m 4s
distros-clingo-sources (fedora:latest)	4m 40s
clingo-sources (macos-14)	7m 44s
gnupg-sources (macos-14)	9m 36s
from-binaries (macos-14)	2m 17s
clingo-sources (ubuntu-latest)	4m 31s
distros-clingo-sources (opensuse/leap:latest)	5m 47s
gnupg-sources (ubuntu-latest)	5m 6s
from-binaries (ubuntu-latest)	1m 59s
windows	8m 44s
	1h 23m 31s

Provide feedback