mbarbin / file-rewriter

100%

main: 100%

LAST BUILD ON BRANCH migrate-main-ci-setup-dune

branch: migrate-main-ci-setup-dune

CHANGE BRANCH

x

Reset

• migrate-main-ci-setup-dune
• HEAD
• add-dev-pkg
• coverage
• 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
• enable-macos-in-ci
• init
• main
• more-tests
• pkg-directory-structure
• pplumbing
• pplumbing-pkgs
• refactor
• remove-deps

Build # 76

Build Type

Pull #17

github

Committed by web-flow

Commit Message

Merge 0836a5f45 into 612973d4f

Pull Request Pull Request #17: Migrate main ci setup dune

Run Details

395 of 395 relevant lines covered (100.0%)

4.84 hits per line