Bootstrapping #1250

Job	Run time
distros-clingo-sources (fedora:latest)	4m 36s
gnupg-sources (macos-13)	19m 27s
distros-clingo-sources (opensuse/leap:latest)	5m 43s
clingo-sources (macos-13)	13m 20s
gnupg-sources (macos-14)	10m 30s
from-binaries (macos-13)	2m 1s
clingo-sources (macos-14)	6m 57s
gnupg-sources (ubuntu-latest)	5m 3s
from-binaries (macos-14)	2m 20s
clingo-sources (ubuntu-latest)	4m 50s
windows	7m 6s
from-binaries (ubuntu-latest)	2m 8s
	1h 24m 1s

Provide feedback