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

gap-system / gap / 10880 / 6
4%
master: 4%

Build:
DEFAULT BRANCH: master
Ran 08 Nov 2019 09:55AM UTC
Files 648
Run time 45s
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

08 Nov 2019 08:26AM UTC coverage: 73.155% (-0.007%) from 73.162%
TEST_SUITES="docomp testinstall"

push

travis-ci

fingolfin
ENHANCE: Avoid tietze simplification on presentation for 2-cohom

as the code might hang in the kernel.

230628 of 315258 relevant lines covered (73.16%)

2444646.7 hits per line

Source Files on job 10880.6 (TEST_SUITES="docomp testinstall")
  • Tree
  • List 0
  • Changed 81
  • Source Changed 3
  • Coverage Changed 81
Coverage ∆ File Lines Relevant Covered Missed Hits/Line
  • Back to Build 2890
  • Travis Job 10880.6
  • 71194d35 on github
  • Prev Job for TEST_SUITES="docomp testinstall" on master (#10879.6)
  • Next Job for TEST_SUITES="docomp testinstall" on master (#10896.6)
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