Skip to content

Merge from upstream 2024-10-16 #736

Merge from upstream 2024-10-16

Merge from upstream 2024-10-16 #736

Triggered via pull request October 16, 2024 20:07
Status Success
Total duration 9m 25s
Artifacts 2

ci.yaml

on: pull_request
changes
3s
changes
Matrix: prechecks / audit / package-audits
prechecks  /  validate
39s
prechecks / validate
prechecks  /  style
55s
prechecks / style
prechecks  /  bootstrap-dev-rhel8
4m 30s
prechecks / bootstrap-dev-rhel8
prechecks  /  import-check
2m 26s
prechecks / import-check
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