Skip to content

Merge from upstream 2024-10-15 #730

Merge from upstream 2024-10-15

Merge from upstream 2024-10-15 #730

Triggered via pull request October 15, 2024 20:19
Status Success
Total duration 9m 13s
Artifacts 2

ci.yaml

on: pull_request
changes
9s
changes
Matrix: prechecks / audit / package-audits
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
bootstrap  /  windows
bootstrap / windows
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
coverage  /  upload
coverage / upload
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
coverage-audits-macos-latest
358 KB
coverage-audits-ubuntu-latest
352 KB