113
100%

Ran 01 Feb 2026 04:17PM UTC

Jobs 2

Files 14

Run time 1min

Badge

Committed 01 Feb 2026 04:06PM UTC coverage: 100.0%. Remained the same

Build # 113

Build Type

push

github

Committed by

Commit Message

Merge pull request #31 from mbarbin/migrate-main-ci-setup-dune

Migrate main ci setup dune

Run Details

897 of 897 relevant lines covered (100.0%)

20.12 hits per line

ID	Job ID	Ran	Files	Coverage
1	113.1	01 Feb 2026 04:17PM UTC	14	100.0	GitHub Action Run
2	113.2	01 Feb 2026 04:38PM UTC	14	100.0	GitHub Action Run