27823869768
79%
master: 79%

Ran 19 Jun 2026 11:48AM UTC

Jobs 1

Files 36

Run time 1min

Badge

Embed ▾

Committed 19 Jun 2026 11:47AM UTC coverage: 78.996%. Remained the same

Build # 27823869768

Build Type

push

github

Committed by

web-flow

Commit Message

xenctrl-ext: link stubs explicitly agains libxenctrl (#7135)

The xenctrlext_stubs use libxenctrl symbols (e.g. xc_cpumap_alloc) but
did not declare it as a link dependency. So, the produced
dllxenctrl_ext_stubs.so had no NEEDED entry for libxenctrl.

When I try to run `dune utop` on my Debian Trixie the loading fails
with:
  Fatal error: cannot load shared library dllxenctrl_ext_stubs
  Reason: .../ocaml/libs/xenctrl-ext/dllxenctrl_ext_stubs.so:
          undefined symbol: xc_cpumap_alloc

This patch adds -lxenctrl to c_library_flags so the stubs declare the
dependency themselves.

Coverage Stats

3667 of 4642 relevant lines covered (79.0%)

0.79 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	python3.11 - 27823869768.1	19 Jun 2026 11:48AM UTC	36	79.0	GitHub Action Run

xapi-project / xen-api / 27823869768
79%
master: 79%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 27823869768

xapi-project / xen-api / 27823869768 79% master: 79%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 27823869768

xapi-project / xen-api / 27823869768
79%
master: 79%

README BADGES
x