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

tueda / form / 15778248687 / 5
53%
master: 53%

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: 4.455% (-0.002%) from 4.457%
15778248687.5

push

github

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

3658 of 82105 relevant lines covered (4.46%)

3.06 hits per line

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