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

tueda / form / 15778248687 / 9
57%
master: 57%

Build:
DEFAULT BRANCH: master
Ran 20 Jun 2025 12:05PM UTC
Files 67
Run time 6s
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

18 Jun 2025 02:14PM UTC coverage: 48.806% (+0.2%) from 48.629%
15778248687.9

push

github

jodavies
fix: formatting of FactArg MINVECTOR w.r.t OldFactArg

40072 of 82105 relevant lines covered (48.81%)

514603.51 hits per line

Source Files on job tvorm -w2 (default) (flint - no) - 15778248687.9
  • Tree
  • List 67
  • Changed 40
  • Source Changed 40
  • Coverage Changed 11
Coverage ∆ File Lines Relevant Covered Missed Hits/Line
  • Back to Build 15778248687
  • d3f78860 on github
  • Prev Job for on master (#15675455259.9)
  • Next Job for on master (#16793762962.7)
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