Bootstrapping #457
mathomp4
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
bootstrap.yml
on: schedule
fedora-clingo-sources
5m 14s
ubuntu-clingo-sources
3m 48s
ubuntu-clingo-binaries-and-patchelf
1m 30s
opensuse-clingo-sources
4m 25s
macos-clingo-sources
7m 15s
ubuntu-clingo-binaries
5m 11s
ubuntu-gnupg-binaries
1m 27s
ubuntu-gnupg-sources
1m 30s
macos-gnupg-binaries
2m 30s
macos-gnupg-sources
2m 38s
Matrix: macos-clingo-binaries