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: main
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
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
58 main Lint push mbarbin github
100.0
57 main Initiate codeowners file for gh push mbarbin github
100.0
56 main Adopt OCaml Code of Conduct push mbarbin github
100.0
55 main Merge pull request #5 from mbarbin/render Add function `render` to replace `to_string` push web-flow github
100.0
51 main Merge pull request #4 from mbarbin/reduce-deps Reduce deps push web-flow github
100.0
49 main Upgrade actions/checkout to v6 in CI push mbarbin github
100.0
See All Builds (58)