mbarbin / pp-extended
100%

DEFAULT BRANCH: main
Repo Added
Files 2
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

LAST BUILD ON BRANCH main
branch: SELECT
CHANGE BRANCH
x

coverage: 100.0%. Remained the same
65

push

github

web-flow 
Merge pull request #8 from mbarbin/migrate-main-ci-setup-dune

Migrate main ci setup dune

68 of 68 relevant lines covered (100.0%)

5.34 hits per line

Relevant lines Covered
68 RELEVANT LINES 68 COVERED LINES
5.34 HITS PER LINE
Source Files on main

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
65 main Merge pull request #8 from mbarbin/migrate-main-ci-setup-dune Migrate main ci setup dune push web-flow github
100.0
66 dependabot/github_actions/actions/checkout-6.0.2 Merge 60ee6685c into 1bf9c68ae Pull #7 web-flow github
100.0
64 migrate-main-ci-setup-dune Merge aa9b33f51 into 1613c9d68 Pull #8 web-flow github
100.0
63 dependabot/github_actions/actions/checkout-6.0.2 Merge 1cf57869a into 1613c9d68 Pull #7 web-flow github
100.0
62 main Improve default settings for GHA permissions push mbarbin github
100.0
61 main Set more-ci default shell to bash push mbarbin github
100.0
60 main Define CI packages in an environment section push mbarbin github
100.0
59 edit-more-ci Merge f9015056b into 0a01fd7f5 Pull #6 web-flow github
100.0
58 main Lint push mbarbin github
100.0
57 main Initiate codeowners file for gh push mbarbin github
100.0
See All Builds (58)