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

Bodigrim / poly
97%
master: 98%

Build:
Build:
LAST BUILD BRANCH: dependabot/github_actions/actions/cache-2.1.6
DEFAULT BRANCH: master
Repo Added 08 Sep 2020 11:55PM UTC
Files 17
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 convert
branch: convert
CHANGE BRANCH
x
Reset
  • convert
  • dependabot/github_actions/actions/cache-2.1.6
  • dependabot/github_actions/actions/cache-v2.1.5
  • dependabot/github_actions/actions/checkout-2.3.4
  • dependabot/github_actions/haskell/actions-1.2.1
  • dft
  • master
  • multi
  • safe

pending completion
172

push

travis-ci

Bodigrim
Hunt for redundant constraints

49 of 49 new or added lines in 7 files covered. (100.0%)

1065 of 1093 relevant lines covered (97.44%)

0.97 hits per line

Relevant lines Covered
Build:
Build:
1093 RELEVANT LINES 1065 COVERED LINES
0.97 HITS PER LINE
Source Files on convert
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
172 convert Hunt for redundant constraints push 13 Sep 2020 05:49PM UTC Bodigrim travis-ci pending completion  
171 convert Move Laurent implementations under Internal subtree push 13 Sep 2020 12:23AM UTC Bodigrim travis-ci pending completion  
See All Builds (44)
  • 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