Develop #5
ci.yaml
on: pull_request
changes
6s
Matrix: prechecks / audit / package-audits
prechecks
/
validate
40s
prechecks
/
style
1m 14s
prechecks
/
bootstrap-dev-rhel8
1m 33s
Matrix: bootstrap / macos-clingo-binaries
Waiting for pending jobs
Matrix: unit-tests / macos
Waiting for pending jobs
Matrix: unit-tests / ubuntu
Waiting for pending jobs
bootstrap
/
fedora-clingo-sources
bootstrap
/
macos-clingo-sources
bootstrap
/
macos-gnupg-binaries
bootstrap
/
macos-gnupg-sources
bootstrap
/
opensuse-clingo-sources
bootstrap
/
ubuntu-clingo-binaries
bootstrap
/
ubuntu-clingo-binaries-and-patchelf
bootstrap
/
ubuntu-clingo-sources
bootstrap
/
ubuntu-gnupg-binaries
bootstrap
/
ubuntu-gnupg-sources
unit-tests
/
clingo-cffi
unit-tests
/
rhel8-platform-python
unit-tests
/
shell
windows
/
build-abseil
windows
/
unit-tests
windows
/
unit-tests-cmd
all-prechecks
0s
all
0s
Annotations
6 errors
prechecks / bootstrap-dev-rhel8
Canceling since a higher priority waiting request for 'ci-refs/pull/122/merge-122' exists
|
prechecks / bootstrap-dev-rhel8
The operation was canceled.
|
prechecks / audit / package-audits (macos-latest)
Canceling since a higher priority waiting request for 'ci-refs/pull/122/merge-122' exists
|
prechecks / audit / package-audits (macos-latest)
The operation was canceled.
|
prechecks / audit / package-audits (ubuntu-latest)
Canceling since a higher priority waiting request for 'ci-refs/pull/122/merge-122' exists
|
prechecks / audit / package-audits (ubuntu-latest)
The operation was canceled.
|