14925397377
80%

Ran 09 May 2025 09:03AM UTC

Jobs 1

Files 33

Run time 1min

Badge

Embed ▾

Committed 09 May 2025 08:53AM UTC coverage: 77.719%. Remained the same

Build # 14925397377

Build Type

push

github

Committed by

web-flow

Commit Message

CP-307947: [maintenance]: add .mli files to all database modules (#6460)

ocaml-lsp-server's 'Action->Infer interface' was used for this, and then
removed internal/unused entries.

Having an mli file is useful:
* can find dead code more easily if it is clear which functions are
internal to a module and which aren't
* the impact of refactoring changes is more obvious (did we have to
change an mli at all?)
* makes it easier to understand what a module does

There are some .ml files which only contain types, these are instead
renamed to .mli and dune's `modules_without_implementation` feature is
used.
Executables get an empty .mli (recent versions of dune already do the
equivalent of this, but this makes it more obvious).

Drop code from .ml files that now show up as unused.

Eventually we can also add some documentation, this will be done in
followup PRs for new code.

Run Details

3359 of 4322 relevant lines covered (77.72%)

0.78 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	python3.11 - 14925397377.1	09 May 2025 09:03AM UTC	33	77.72	GitHub Action Run

xapi-project / xen-api / 14925397377
80%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 14925397377

xapi-project / xen-api / 14925397377 80%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 14925397377

xapi-project / xen-api / 14925397377
80%

README BADGES
x