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

ExcaliburZero / resolution-prover

Build:
DEFAULT BRANCH: master
Repo Added 14 Aug 2018 03:27AM UTC
Files 0
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 master
branch: master
CHANGE BRANCH
x
Reset
  • master
  • push_docs

pending completion
20

push

travis-ci

ExcaliburZero
Add documentation for resolve function
Relevant lines Covered
NO TREND HISTORY
Source Files on master
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
20 master Add documentation for resolve function push 19 Aug 2018 07:33PM UTC ExcaliburZero travis-ci pending completion  
19 master Add badge for documentation to readme push 19 Aug 2018 07:14PM UTC ExcaliburZero travis-ci pending completion  
17 master Add doc pushes to Travis CI config push 19 Aug 2018 07:01PM UTC ExcaliburZero travis-ci pending completion  
15 master Add some more documentation push 19 Aug 2018 05:05PM UTC ExcaliburZero travis-ci pending completion  
14 master Add more documentation push 19 Aug 2018 04:47PM UTC ExcaliburZero travis-ci pending completion  
13 master Add some documentation for Clause push 19 Aug 2018 04:34PM UTC ExcaliburZero travis-ci pending completion  
12 master Add badges to readme push 14 Aug 2018 06:27AM UTC ExcaliburZero travis-ci pending completion  
10 master Add license info to readme push 14 Aug 2018 06:24AM UTC ExcaliburZero travis-ci pending completion  
9 master Add even more content to readme push 14 Aug 2018 06:22AM UTC ExcaliburZero travis-ci pending completion  
8 master Add more content to readme push 14 Aug 2018 06:02AM UTC ExcaliburZero travis-ci pending completion  
See All Builds (19)
  • 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