llvm add level=0 for Z3 patch #719
gartungci.yaml
on: push
changes
26s
Matrix: prechecks / audit / package-audits
prechecks
/
validate
37s
prechecks
/
style
50s
prechecks
/
bootstrap-dev-rhel8
4m 23s
Matrix: bootstrap / clingo-sources
Waiting for pending jobs
Matrix: bootstrap / distros-clingo-sources
Waiting for pending jobs
Matrix: bootstrap / from-binaries
Waiting for pending jobs
Matrix: bootstrap / gnupg-sources
Waiting for pending jobs
Matrix: unit-tests / macos
Waiting for pending jobs
Matrix: unit-tests / ubuntu
Waiting for pending jobs
unit-tests
/
clingo-cffi
unit-tests
/
rhel8-platform-python
unit-tests
/
shell
unit-tests
/
windows
all-prechecks
0s
all
0s