Skip to content
Bootstrapping

Bootstrapping #638

Sign in to view logs

Bootstrapping

Bootstrapping #638

Run time

Learn about OS pricing on GitHub Actions
Job Run time
fedora-clingo-sources
1m 18s
macos-gnupg-binaries
14s
macos-clingo-binaries (3.5)
15s
macos-clingo-sources
15s
macos-clingo-binaries (3.6)
17s
macos-gnupg-sources
15s
macos-clingo-binaries (3.7)
13s
opensuse-clingo-sources
4m 1s
ubuntu-clingo-binaries (2.7)
8s
macos-clingo-binaries (3.8)
17s
ubuntu-clingo-binaries (3.5)
10s
macos-clingo-binaries (3.9)
16s
ubuntu-clingo-sources
1m 32s
ubuntu-clingo-binaries (3.6)
9s
ubuntu-clingo-binaries (3.7)
22s
ubuntu-gnupg-binaries
1m 20s
ubuntu-gnupg-sources
1m 23s
ubuntu-clingo-binaries (3.8)
9s
ubuntu-clingo-binaries (3.9)
9s
12m 43s