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

form-dev / form
54%
master: 54%

Build:
Build:
LAST BUILD BRANCH: comp-native
DEFAULT BRANCH: master
Repo Added 05 Jun 2025 10:19AM UTC
Files 70
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 StartFloat
branch: StartFloat
CHANGE BRANCH
x
Reset
  • StartFloat
  • 4.3
  • PrintFloat
  • actions-cond-valgrind
  • backtrace
  • badges
  • chainin-symm
  • ci-setup-build-action
  • ci-windows-2022
  • ci/build-arm64-windows
  • ci/deploy-enable-flint
  • cmp-counter
  • comp-native
  • endsort-leak
  • evaluate-fun
  • factarg-vec
  • findloop-replaceloop
  • fix-649
  • fix-endsort
  • fix-issue-646
  • fix-issue-695
  • flint-cleanup
  • flint-reserve
  • flintv2
  • float-tests
  • formlib
  • humanstats
  • humanstats-test
  • inside-dollar
  • intohide
  • make-dollar-warning-default
  • master
  • polynomial-tests
  • pr/flint-version-check
  • putfirst-neg
  • repeat-sum
  • series-tst
  • stdint
  • test-color
  • test-coverage-fixes
  • test-extra-cov-fix
  • timeout
  • timeout-fix
  • transform-noargs
  • void

29 Aug 2025 09:13AM UTC coverage: 53.704% (+0.05%) from 53.655%
17319792126

Pull #680

github

web-flow
Merge d9537fc8a into e8602de8a
Pull Request #680: #StartFloat syntax

38 of 41 new or added lines in 4 files covered. (92.68%)

8 existing lines in 1 file now uncovered.

44659 of 83157 relevant lines covered (53.7%)

2236547.45 hits per line

Relevant lines Covered
Build:
Build:
83157 RELEVANT LINES 44659 COVERED LINES
2236547.45 HITS PER LINE
Source Files on StartFloat
  • Tree
  • List 70
  • Changed 8
  • Source Changed 4
  • Coverage Changed 8
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
17319792126 StartFloat Merge d9537fc8a into e8602de8a Pull #680 29 Aug 2025 09:16AM UTC web-flow github
53.7
17150418526 StartFloat Merge 6882dbf68 into 9ebc2e211 Pull #680 22 Aug 2025 08:37AM UTC web-flow github
53.5
16213181556 StartFloat Merge 22cc1a7d0 into bbd9a7ee7 Pull #680 11 Jul 2025 06:16AM UTC web-flow github
50.97
16198080039 StartFloat Merge e97bcf763 into bbd9a7ee7 Pull #680 10 Jul 2025 02:38PM UTC web-flow github
50.97
16197426305 StartFloat Merge 80f39cef3 into bbd9a7ee7 Pull #680 10 Jul 2025 02:11PM UTC web-flow github
50.97
15901681418 StartFloat Merge 973ea3141 into 21f29a875 Pull #680 26 Jun 2025 12:29PM UTC web-flow github
50.61
15875796711 StartFloat Merge 1031e1dd2 into 21f29a875 Pull #680 25 Jun 2025 12:06PM UTC web-flow github
50.6
15871049273 StartFloat Merge e42028aef into 21f29a875 Pull #680 25 Jun 2025 08:17AM UTC web-flow github
50.61
See All Builds (136)
  • 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

© 2025 Coveralls, Inc