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

jbearer / hspl / 121
85%
master: 84%

Build:
Build:
LAST BUILD BRANCH: debug-ui
DEFAULT BRANCH: master
Ran 17 Sep 2017 05:39AM UTC
Jobs 1
Files 12
Run time 1s
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

pending completion
121

push

travis-ci

jbearer
Clean up public interface.

* Move some implementation details into an internal module
* Rename/provide aliases so that the user sees names like 'Goal'
  rather than the more cryptic 'GoalWriter'
* Provide wrappers in terms of the new types, e.g. getTheorem
  wrapper that returns the external goal rather than the internal
  goal.

Closes #3 and #15

1064 of 1251 relevant lines covered (85.05%)

0.85 hits per line

Jobs
ID Job ID Ran Files Coverage
4 121.4 (BUILD=stack ARGS="" TESTARGS="--coverage --haddock") 17 Sep 2017 05:39AM UTC 0
85.05
Travis Job 121.4
Source Files on build 121
Detailed source file information is not available for this build.
  • Back to Repo
  • Travis Build #121
  • b6920aac on github
  • Next Build on cleanup-api (#124)
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