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

mAarnos / Serkr
96%
master: 96%

Build:
Build:
LAST BUILD BRANCH: proof-output
DEFAULT BRANCH: master
Repo Added 23 Feb 2016 07:52PM UTC
Files 47
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 coveralls
branch: coveralls
CHANGE BRANCH
x
Reset
  • coveralls
  • clause-selection
  • code-cleanup
  • formula-renaming
  • indexing
  • master
  • performance-improvement
  • proof-output
  • statistics-reporting

pending completion
53

push

travis-ci

mAarnos
Hope this works.

2802 of 2918 relevant lines covered (96.02%)

4.71 hits per line

Relevant lines Covered
Build:
Build:
2918 RELEVANT LINES 2802 COVERED LINES
4.71 HITS PER LINE
Source Files on coveralls
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
53 coveralls Hope this works. push 14 Mar 2016 06:21PM UTC mAarnos travis-ci pending completion  
52 coveralls Got rid of travis-cargo as it is broken push 14 Mar 2016 05:59PM UTC mAarnos travis-ci pending completion  
45 coveralls Added code coverage status Bad coverage is mostly due to the autogenerated files. push 14 Mar 2016 04:37PM UTC mAarnos travis-ci pending completion  
44 coveralls First try at coveralls push 14 Mar 2016 04:23PM UTC mAarnos travis-ci pending completion  
See All Builds (56)
  • 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