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

jbearer / hspl
85%
master: 84%

Build:
Build:
LAST BUILD BRANCH: debug-ui
DEFAULT BRANCH: master
Repo Added 19 Apr 2017 07:17PM UTC
Files 12
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 alternatives-n
branch: alternatives-n
CHANGE BRANCH
x
Reset
  • alternatives-n
  • append
  • cleanup-api
  • core
  • cutframe
  • debug-ui
  • debugger
  • debugger-ui
  • forall
  • master
  • msplit
  • proof-inspection
  • show-pred
  • syntax
  • ternary
  • travis
  • unique-preds

pending completion
127

push

travis-ci

jbearer
Remove Cabal builds from Travis

They weren't doing anything but take a long time anyway

1078 of 1263 relevant lines covered (85.35%)

0.85 hits per line

Relevant lines Covered
Build:
Build:
1263 RELEVANT LINES 1078 COVERED LINES
0.85 HITS PER LINE
Source Files on alternatives-n
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
127 alternatives-n Remove Cabal builds from Travis They weren't doing anything but take a long time anyway push 17 Sep 2017 10:57PM UTC jbearer travis-ci pending completion  
126 alternatives-n Increase Travis timeout for Cabal build push 17 Sep 2017 08:04PM UTC jbearer travis-ci pending completion  
123 alternatives-n Implement findN and bagOfN predicates. These are like findAll and bagOf, but they return at most N results. Closes #5 push 17 Sep 2017 06:29AM UTC jbearer travis-ci pending completion  
119 alternatives-n Implement findN and bagOfN predicates. These are like findAll and bagOf, but they return at most N results. Closes #5 push 16 Sep 2017 11:33PM UTC jbearer travis-ci pending completion  
See All Builds (135)
  • 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