• Home
  • Features
  • Pricing
  • Docs
  • Announcements
  • Sign In

mbarbin / fpath-base
100%

Build:
DEFAULT BRANCH: main
Repo Added 13 Mar 2024 07:54AM UTC
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: SELECT
CHANGE BRANCH
x
Sync Branches
  • No branch selected
  • HEAD
  • add-dev-pkg
  • add-sexp0-to-more-ci
  • attach-locks-to-contexts
  • conditional-implicit-transitive-deps
  • dependabot/github_actions/actions/checkout-5
  • dependabot/github_actions/actions/checkout-6
  • dependabot/github_actions/actions/checkout-6.0.2
  • dependabot/github_actions/actions/upload-pages-artifact-4
  • deprecate-fpart
  • deprecated-alerts
  • enable-4.14
  • expect-tests
  • fix-escaping-paths
  • fpart
  • fpath-sexp0
  • hash-and-segs
  • initiate-using-dyn
  • main
  • migrate
  • migrate-main-ci-setup-dune
  • more-ci-refactors
  • no-ppx
  • ocaml-5.4-in-ci
  • pkg-directory-structure
  • reduce-deps
  • setup-dune-more-ci
  • sexp0-4.14

17 Feb 2026 07:54PM UTC 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
Build:
Build:
897 RELEVANT LINES 897 COVERED LINES
10.06 HITS PER LINE
Source Files on main
  • Tree
  • List 14
  • Changed 0
  • Source Changed 0
  • Coverage Changed 0
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
116 main Upgrade dunolint workflow push 17 Feb 2026 08:03PM UTC 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 17 Feb 2026 07:35PM UTC mbarbin github
100.0
114 dependabot/github_actions/actions/checkout-6.0.2 Merge 46613f90f into 3db13d5b5 Pull #30 01 Feb 2026 04:20PM UTC web-flow github
100.0
113 main Merge pull request #31 from mbarbin/migrate-main-ci-setup-dune Migrate main ci setup dune push 01 Feb 2026 04:17PM UTC web-flow github
100.0
112 migrate-main-ci-setup-dune Merge bf2392d20 into f47a0ddb1 Pull #31 01 Feb 2026 03:54PM UTC web-flow github
100.0
111 dependabot/github_actions/actions/checkout-6.0.2 Merge 02ceb1d1f into f47a0ddb1 Pull #30 01 Feb 2026 07:02AM UTC web-flow github
100.0
110 main Transition some workflows from more-ci to setup-dune push 23 Jan 2026 01:30PM UTC mbarbin github
100.0
109 main Update setup-dune sha (fix macos build path issue) push 16 Jan 2026 10:27PM UTC mbarbin github
100.0
108 main Upgrade setup-dune (v2.0.0+patched) push 16 Jan 2026 07:52PM UTC mbarbin github
100.0
107 main Improve default settings for GHA permissions push 15 Jan 2026 07:45PM UTC 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.

Could not find badge in README.

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
  • Settings
  • Repo on GitHub
STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2026 Coveralls, Inc