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

mbarbin / provider
100%
main: 100%

Build:
Build:
LAST BUILD BRANCH: ci-eio-tests
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 diataxis
branch: diataxis
CHANGE BRANCH
x
Reset
  • diataxis
  • 4.14
  • HEAD
  • add-doc
  • add-dunolint
  • assorted-changes
  • ci-eio-tests
  • dependabot/github_actions/actions/checkout-6
  • dependabot/github_actions/actions/setup-node-5
  • dependabot/github_actions/actions/setup-node-6
  • dependabot/github_actions/actions/upload-pages-artifact-4
  • 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

20 Sep 2024 12:05PM UTC coverage: 100.0%. Remained the same
79

Pull #11

github

mbarbin
Rename doc section Explanation (diataxis)
Pull Request #11: Rename doc section Explanation (diataxis)

370 of 370 relevant lines covered (100.0%)

7.83 hits per line

Relevant lines Covered
Build:
Build:
370 RELEVANT LINES 370 COVERED LINES
7.83 HITS PER LINE
Source Files on diataxis
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
79 diataxis Rename doc section Explanation (diataxis) Pull #11 20 Sep 2024 12:13PM UTC mbarbin github
100.0
See All Builds (169)
  • 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