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

pi-base / compile / 7110275661
82%
master: 82%

Build:
Build:
LAST BUILD BRANCH: mathlib
DEFAULT BRANCH: master
Ran 06 Dec 2023 04:43AM UTC
Jobs 1
Files 4
Run time 2s
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

06 Dec 2023 04:42AM UTC coverage: 82.156% (-0.2%) from 82.331%
7110275661

push

github

jamesdabbs
pass through mathlib prop

60 of 92 branches covered (0.0%)

Branch coverage included in aggregate %.

18 of 19 new or added lines in 1 file covered. (94.74%)

161 of 177 relevant lines covered (90.96%)

7.37 hits per line

Jobs
ID Job ID Ran Files Coverage
1 7110275661.1 06 Dec 2023 04:43AM UTC 0
82.16
GitHub Action Run
Source Files on build 7110275661
Detailed source file information is not available for this build.
  • Back to Repo
  • ddba6237 on github
  • Prev Build on main (#4987094762)
  • Next Build on mathlib (#7110283891)
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