13540585621
79%
master: 80%

Ran 26 Feb 2025 09:25AM UTC

Jobs 1

Files 38

Run time 301min

Badge

Embed ▾

Committed 26 Feb 2025 09:23AM UTC coverage: 78.516%. Remained the same

Build # 13540585621

Build Type

push

github

Committed by

web-flow

Commit Message

Use Cmdliner in gen_api_main.ml (#6319)

- Drops usage of stdlib `Arg` module for argument parsing, replacing it
with Cmdliner.
- Drops some globals pertaining to the filtering of APIs.
- Drops apparent condition in `Gen_server`: `server.ml` cannot be built
without the debug flag being enabled, as the emitted OCaml code is ill
formed.
- Drops ability to specify an output file; dune's `with-stdout-to`
subsumes this behaviour, as does the piping functionality in every
shell.

The idea is hopefully that it'll be more flexible to experiment and
extend the `ocaml_backend/` targets.

Run Details

3512 of 4473 relevant lines covered (78.52%)

0.79 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	python3.11 - 13540585621.1	26 Feb 2025 09:25AM UTC	38	78.52	GitHub Action Run

xapi-project / xen-api / 13540585621
79%
master: 80%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 13540585621

xapi-project / xen-api / 13540585621 79% master: 80%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 13540585621

xapi-project / xen-api / 13540585621
79%
master: 80%

README BADGES
x