mbarbin / fpath-base
100%

DEFAULT BRANCH: main
Repo Added
Token zgKxm2FP9ec4eHVBuERoSxj6NbDVehRhN regen
Build 113 Last
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: main
CHANGE BRANCH
x
Sync Branches

coverage: 100.0%. Remained the same
116

push

github

mbarbin 
Upgrade dunolint workflow

897 of 897 relevant lines covered (100.0%)

10.06 hits per line

Relevant lines Covered
897 RELEVANT LINES 897 COVERED LINES
10.06 HITS PER LINE
Source Files on main

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
116 main Upgrade dunolint workflow push mbarbin github
100.0
115 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
100.0
113 main Merge pull request #31 from mbarbin/migrate-main-ci-setup-dune Migrate main ci setup dune push web-flow github
100.0
110 main Transition some workflows from more-ci to setup-dune push mbarbin github
100.0
109 main Update setup-dune sha (fix macos build path issue) push mbarbin github
100.0
108 main Upgrade setup-dune (v2.0.0+patched) push mbarbin github
100.0
107 main Improve default settings for GHA permissions push mbarbin github
100.0
106 main Upgrade setup-dune to v2.0.0+only-packages push mbarbin github
100.0
105 main Make run shell more portable by default push mbarbin github
100.0
100 main Remove workflow (now merged into more-ci) push mbarbin github
100.0
See All Builds (106)

Badge your Repo: fpath-base

We detected this repo isn’t badged! Grab the embed code to the right, add it to your repo to show off your code coverage, and when the badge is live hit the refresh button to remove this message.
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

Refresh