mbarbin / loc
100%

DEFAULT BRANCH: main
Repo Added
Files 14
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
121

push

github

mbarbin 
Improve default settings for GHA permissions

479 of 479 relevant lines covered (100.0%)

4.72 hits per line

Relevant lines Covered
479 RELEVANT LINES 479 COVERED LINES
4.72 HITS PER LINE
Source Files on main

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
121 main Improve default settings for GHA permissions push mbarbin github
100.0
120 main Upgrade setup-dune push mbarbin github
100.0
119 setup-dune-v2 Merge 1f2cadef5 into 16bc5a27b Pull #23 web-flow github
100.0
118 main Merge pull request #22 from mbarbin/investigate-win-ci-issues Attempt to fix offset tests divergence in Windows CI push web-flow github
100.0
117 investigate-win-ci-issues Merge 4c021dd9f into 263c405d2 Pull #22 web-flow github
100.0
116 main Attempt to fix windows CI push mbarbin github
100.0
115 main Prepare dune-workspace files for CI workflows push mbarbin github
100.0
114 main Upgrade dunolint push mbarbin github
100.0
113 main Fix pr link push mbarbin github
100.0
112 main Prepare changelog push mbarbin github
100.0
See All Builds (106)