Skip to content

llvm patch for FindZ3.cmake #715

llvm patch for FindZ3.cmake

llvm patch for FindZ3.cmake #715

Triggered via push October 4, 2024 15:25
Status Failure
Total duration 2m 50s
Artifacts

ci.yaml

on: push
Matrix: prechecks / audit / package-audits
prechecks  /  validate
33s
prechecks / validate
prechecks  /  style
53s
prechecks / style
prechecks  /  bootstrap-dev-rhel8
1m 56s
prechecks / bootstrap-dev-rhel8
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 / clingo-cffi
unit-tests  /  rhel8-platform-python
unit-tests / rhel8-platform-python
unit-tests  /  shell
unit-tests / shell
unit-tests  /  windows
unit-tests / windows
all-prechecks
0s
all-prechecks
Fit to window
Zoom out
Zoom in

Annotations

6 errors
prechecks / audit / package-audits (macos-latest, bash)
Process completed with exit code 1.
prechecks / audit / package-audits (ubuntu-latest, bash)
The job was canceled because "macos-latest_bash" failed.
prechecks / audit / package-audits (ubuntu-latest, bash)
Process completed with exit code 1.
prechecks / bootstrap-dev-rhel8
Process completed with exit code 1.