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

panglesd / odoc / 1100
73%
master: 56%

Build:
Build:
LAST BUILD BRANCH: include-libs-from-packages
DEFAULT BRANCH: master
Ran 13 Dec 2024 11:29AM UTC
Jobs 1
Files 90
Run time 1min
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

13 Dec 2024 11:25AM UTC coverage: 73.127% (-0.004%) from 73.131%
1100

push

github

panglesd
Use Comment.elements in document and index

10 of 11 new or added lines in 3 files covered. (90.91%)

10169 of 13906 relevant lines covered (73.13%)

3012.2 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
1
0.0
0.0% src/odoc/html_fragment.ml
Jobs
ID Job ID Ran Files Coverage
1 1100.1 13 Dec 2024 11:29AM UTC 90
73.13
GitHub Action Run
Source Files on build 1100
  • Tree
  • List 90
  • Changed 4
  • Source Changed 4
  • Coverage Changed 1
Coverage ∆ File Lines Relevant Covered Missed Hits/Line
  • Back to Repo
  • 998b7875 on github
  • Prev Build on suppress_warnings (#1099)
  • Next Build on suppress_warnings (#1101)
  • Delete
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