43
100%

Ran 25 Jan 2026 01:12PM UTC

Jobs 1

Files 10

Run time 1min

Badge

Embed ▾

Committed 25 Jan 2026 01:07PM UTC coverage: 100.0%. Remained the same

Build # 43

Build Type

push

github

Committed by

mbarbin

Commit Message

Remove root dune-workspace file entirely

It is not currently used. I had plan to use it in local workflow and or in the
CI but its presence triggers some issues with dune [3.17.2], even when changing
the lang to [3.17], namely:

```sh
File "dune-workspace", lines 6-8, characters 0-88:
6 | (repository
7 |  (name mbarbin)
8 |  (url "git+https://github.com/mbarbin/opam-repository.git"))
Error: Field "source" is missing
```

This is another attempt at fixing the opam CI to release this project.

Run Details

245 of 245 relevant lines covered (100.0%)

13.21 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	43.1	25 Jan 2026 01:12PM UTC	10	100.0	GitHub Action Run

mbarbin / print-table / 43
100%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 43

mbarbin / print-table / 43 100%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 43

mbarbin / print-table / 43
100%

README BADGES
x