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

mbarbin / provider
99%
main: 100%

Build:
Build:
LAST BUILD BRANCH: dependabot/github_actions/actions/upload-pages-artifact-4
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 same-witness
branch: same-witness
CHANGE BRANCH
x
Reset
  • same-witness
  • 4.14
  • HEAD
  • add-doc
  • assorted-changes
  • 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
  • transitive-deps-hidden-includes
  • upgrade-actions-checkout
  • upgrade-doc
  • upgrade-docusaurus
  • upgrade-to-ocaml.5.3.0
  • validate-traits
  • with-dev-setup

19 Feb 2024 07:43AM UTC coverage: 98.834% (-1.2%) from 100.0%
17

Pull #1

github

web-flow
Merge 5c4d51669 into ef44da32d
Pull Request #1: Exposing functions to create type equality witness

11 of 15 new or added lines in 1 file covered. (73.33%)

339 of 343 relevant lines covered (98.83%)

6.58 hits per line

Relevant lines Covered
Build:
Build:
343 RELEVANT LINES 339 COVERED LINES
6.58 HITS PER LINE
Source Files on same-witness
  • Tree
  • List 15
  • Changed 1
  • Source Changed 1
  • Coverage Changed 1
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
17 same-witness Merge 5c4d51669 into ef44da32d Pull #1 19 Feb 2024 07:48AM UTC web-flow github
98.83
16 same-witness Wip push 19 Feb 2024 07:32AM UTC mbarbin github
98.83
14 same-witness Wip push 19 Feb 2024 07:29AM UTC mbarbin github
98.83
See All Builds (148)
  • 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