mbarbin / git-pager

92%

LAST BUILD ON BRANCH main

branch: main

CHANGE BRANCH

x

Reset

• main
• ci-upgrades
• dependabot/github_actions/actions/checkout-5
• dependabot/github_actions/actions/checkout-6
• dependabot/github_actions/actions/checkout-6.0.2
• dependabot/github_actions/actions/upload-pages-artifact-4
• dunolint-workflow
• improve-setup-ocaml-options
• migrate-main-ci-setup-dune
• more-ci-and-ocaml4
• ocaml-4
• ocaml-5.4-in-ci
• pageantty
• pkg-directory-structure
• pplumbing-pkgs
• reduce-deps
• vcs-12
• volgo

Build # 74

Build Type

push

github

Committed by mbarbin

Commit Message

Run the tests first and instrumented after that

Pragmatically when running locally I have observed that this sequence usually
ends up resolving the partial coverage report that otherwise gets generated
sometimes.

That is a an experimental change to adopt dune `3.23.1` to work around the
partial coverage issue. Better fix left as future work.

Coverage Stats

165 of 180 relevant lines covered (91.67%)

17.08 hits per line