mbarbin / git-pager
92%

DEFAULT BRANCH: main
Repo Added
Files 10
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: 91.62%. Remained the same
63

push

github

mbarbin 
Improve vscode config

164 of 179 relevant lines covered (91.62%)

16.92 hits per line

Relevant lines Covered
179 RELEVANT LINES 164 COVERED LINES
16.92 HITS PER LINE
Source Files on main

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
63 main Improve vscode config push mbarbin github
91.62
62 main Merge pull request #17 from mbarbin/ci-upgrades Ci upgrades push web-flow github
91.62
59 main Upgrade dunolint workflow push mbarbin github
91.62
58 main Bump setup-dune to v2.0.0+patch-4 and add cache-readonly across repos Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com> push mbarbin github
91.62
56 main Merge pull request #16 from mbarbin/migrate-main-ci-setup-dune Migrate main ci setup dune push web-flow github
91.62
52 main Increase lower bounds for maintainance push mbarbin github
91.62
51 main Remove workflows merged into more-ci push mbarbin github
91.62
50 main Lint (dep) push mbarbin github
91.62
49 main Upgrade actions/checkout push mbarbin github
91.62
47 main Remove Stdlib prefix push mbarbin github
91.62
See All Builds (62)