33
100%

Ran 08 Jan 2026 03:59PM UTC

Jobs 1

Files 10

Run time 1min

Badge

Embed ▾

Committed 08 Jan 2026 03:39PM UTC coverage: 100.0%. Remained the same

Build # 33

Build Type

push

github

Committed by

mbarbin

Commit Message

Remove edition of itd in more-ci

The value [true] that is present in `dune-project` is the most permissive, thus
keeping it is not going to create new errors.

The build with [false], which is the eventual desired value, is already checked
as part of the main ci, so we don't need to check it with all versions.

This change will eventually simplify the migration to new workflows based on
[setup-dune] so we are making this refactor as prerequisite.

Run Details

245 of 245 relevant lines covered (100.0%)

13.21 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	33.1	08 Jan 2026 03:59PM UTC	10	100.0	GitHub Action Run

mbarbin / print-table / 33
100%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 33

mbarbin / print-table / 33 100%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 33

mbarbin / print-table / 33
100%

README BADGES
x