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

mbarbin / provider
100%

Build:
DEFAULT BRANCH: main
Repo Added 18 Feb 2024 12:33AM UTC
Files 27
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
  • No branch selected
  • 4.14
  • HEAD
  • add-doc
  • assorted-changes
  • dependabot/github_actions/actions/setup-node-5
  • dependabot/github_actions/actions/upload-pages-artifact-4
  • diataxis
  • expect-tests
  • fix-binding-renaming
  • fix-implements-exn
  • fix-more-ci
  • handler-explicit-tutorial
  • improve-unsafe-cast
  • internal-tests
  • main
  • more-ci
  • reduce-deps
  • same-witness
  • transitive-deps-hidden-includes
  • upgrade-actions-checkout
  • upgrade-doc
  • upgrade-docusaurus
  • upgrade-to-ocaml.5.3.0
  • validate-traits
  • with-dev-setup

21 Oct 2025 09:12AM UTC coverage: 100.0%. Remained the same
180

push

github

mbarbin
Upgrade and pin actions/upload-pages-artifact to current v4

510 of 510 relevant lines covered (100.0%)

8.91 hits per line

Relevant lines Covered
Build:
Build:
510 RELEVANT LINES 510 COVERED LINES
8.91 HITS PER LINE
Source Files on main
  • Tree
  • List 27
  • 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
180 main Upgrade and pin actions/upload-pages-artifact to current v4 push 21 Oct 2025 09:18AM UTC mbarbin github
100.0
179 main Edit project status push 19 Oct 2025 04:34PM UTC mbarbin github
100.0
178 main Remove redundant dev constraints from dev package push 19 Oct 2025 04:19PM UTC mbarbin github
100.0
177 main Revise README with warnings and project status Updated README to include cautionary notes about the provider library and its experimental status. push 17 Oct 2025 11:39AM UTC web-flow github
100.0
176 main Merge pull request #45 from mbarbin/upgrade-node-ci Bump setup-node and node to more recent versions (doc) push 10 Oct 2025 01:18PM UTC web-flow github
100.0
174 dependabot/github_actions/actions/setup-node-5 Merge 57c49ccc8 into 9de0aa2da Pull #44 01 Oct 2025 05:19PM UTC web-flow github
100.0
173 main Apply headache.sh push 12 Sep 2025 09:24AM UTC mbarbin github
100.0
172 dependabot/github_actions/actions/upload-pages-artifact-4 Merge 56050e0ca into daad4fe5a Pull #43 02 Sep 2025 10:22AM UTC web-flow github
100.0
171 main Merge pull request #42 from mbarbin/upgrade-docusaurus Upgrade docusaurus push 01 Sep 2025 11:49AM UTC web-flow github
100.0
170 upgrade-docusaurus Merge a4fe613dd into f481dd771 Pull #42 01 Sep 2025 11:42AM UTC web-flow github
100.0
See All Builds (154)
  • 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

© 2025 Coveralls, Inc