Bootstrapping #711

Job	Run time
distros-clingo-sources (fedora:latest)	4m 54s
from-binaries (macos-13)	10m 53s
distros-clingo-sources (opensuse/leap:latest)	5m 50s
clingo-sources (macos-13)	13m 26s
from-binaries (macos-14)	8m 51s
gnupg-sources (macos-13)	28m 36s
clingo-sources (macos-14)	6m 31s
from-binaries (ubuntu-latest)	12m 56s
gnupg-sources (macos-14)	10m 32s
clingo-sources (ubuntu-latest)	5m 59s
gnupg-sources (ubuntu-latest)	5m 16s
windows	12m 16s
	2h 6m 0s

Provide feedback