116
86%

Ran 31 Jan 2026 02:47PM UTC

Jobs 2

Files 7

Run time 1min

Badge

Committed 31 Jan 2026 02:40PM UTC coverage: 85.922%. Remained the same

Build # 116

Build Type

push

github

Committed by

Commit Message

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

Migrate ci setup dune

Run Details

177 of 206 relevant lines covered (85.92%)

17.12 hits per line

ID	Job ID	Ran	Files	Coverage
1	116.1	31 Jan 2026 02:47PM UTC	7	85.92	GitHub Action Run
2	116.2	31 Jan 2026 03:20PM UTC	7	85.92	GitHub Action Run