Skip to content
Bootstrapping

Bootstrapping #420

Sign in to view logs

Bootstrapping

Bootstrapping #420

Run time

Learn about OS pricing on GitHub Actions
Job Run time
fedora-clingo-sources
4m 30s
macos-clingo-sources
7m 20s
macos-clingo-binaries (macos-11)
7m 5s
opensuse-clingo-sources
4m 14s
macos-clingo-binaries (macos-12)
6m 4s
ubuntu-clingo-binaries
4m 27s
ubuntu-clingo-binaries-and-patchelf
1m 29s
ubuntu-clingo-sources
4m 1s
ubuntu-gnupg-binaries
1m 45s
macos-gnupg-binaries
2m 23s
ubuntu-gnupg-sources
1m 30s
macos-gnupg-sources
2m 28s
47m 16s