mbarbin / fingerboard
92%

DEFAULT BRANCH: main
Repo Added
Files 61
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: 92.134%. Remained the same
132

push

github

mbarbin 
Remove root dune-workspace file

Only the versioned files are used by the CI

3830 of 4157 relevant lines covered (92.13%)

20265.99 hits per line

Relevant lines Covered
4157 RELEVANT LINES 3830 COVERED LINES
20265.99 HITS PER LINE
Source Files on main

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
132 main Remove root dune-workspace file Only the versioned files are used by the CI push mbarbin github
92.13
131 dependabot/github_actions/actions/checkout-6.0.2 Merge 36a1fc860 into b0ae42436 Pull #13 web-flow github
92.13
130 main Upgrade dunolint workflow - Use latest alpha version available - With added support for checking expected binary digest push mbarbin github
92.13
129 main Initiate code owners file for GH push mbarbin github
92.13
128 dependabot/github_actions/actions/checkout-6.0.2 Merge 6f3fc9f3b into 1122c1290 Pull #13 web-flow github
92.13
127 main Increase lower bounds for maintainance push mbarbin github
92.13
126 main Improve default settings for GHA permissions push mbarbin github
92.13
125 main Set more-ci default shell to bash push mbarbin github
92.13
124 main Prepare dune-workspace files for CI workflows push mbarbin github
92.13
123 main Upgrade dunolint push mbarbin github
92.13
See All Builds (80)