Skip to content

Merge branch 'ashermancinelli/opam' into develop #1

Merge branch 'ashermancinelli/opam' into develop

Merge branch 'ashermancinelli/opam' into develop #1

Triggered via push September 23, 2024 00:03
Status Success
Total duration 5m 35s
Artifacts 2

ci.yaml

on: push
Matrix: prechecks / audit / package-audits
prechecks  /  validate
36s
prechecks / validate
prechecks  /  style
52s
prechecks / style
prechecks  /  bootstrap-dev-rhel8
4m 40s
prechecks / bootstrap-dev-rhel8
prechecks  /  import-check
2m 33s
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
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
upload-coverage
0s
upload-coverage
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
coverage-audits-macos-latest Expired
356 KB
coverage-audits-ubuntu-latest Expired
347 KB