Remove reference to patch #204
Triggered via pull request
September 20, 2023 16:55
gartung
Status
Success
Total duration
4m 19s
Artifacts
–
ci.yaml
on: pull_request
changes
5s
prechecks
/
validate
39s
prechecks
/
style
1m 21s
prechecks
/
...
/
package-audits
2m 11s
prechecks
/
bootstrap-dev-rhel8
3m 40s
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
3s
all
0s