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

form-dev / form
57%
master: 57%

Build:
Build:
LAST BUILD BRANCH: fix-sav-regression
DEFAULT BRANCH: master
Repo Added 05 Jun 2025 10:19AM UTC
Files 65
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 strict-rounding
branch: strict-rounding
CHANGE BRANCH
x
Reset
  • strict-rounding
  • 4.3
  • PrintFloat
  • StartFloat
  • actions-cond-valgrind
  • alloc-failure-hang
  • backtrace
  • badges
  • chainin-symm
  • chop
  • ci-setup-build-action
  • ci-windows-2022
  • ci/build-arm64-windows
  • ci/deploy-enable-flint
  • cmp-counter
  • comp-native
  • dollar-pre-incr
  • endsort-leak
  • evaluate-fun
  • factarg-vec
  • findloop-replaceloop
  • fix-649
  • fix-endsort
  • fix-issue-646
  • fix-issue-695
  • fix-sav-regression
  • flint-cleanup
  • flint-reserve
  • flint-sparse
  • flintv2
  • float-tests
  • float-zero
  • formlib
  • humanstats
  • humanstats-test
  • inside-dollar
  • intohide
  • issue-251
  • issue-252
  • issue-617
  • issue-631
  • issue-647
  • issue-664
  • make-dollar-warning-default
  • master
  • polynomial-tests
  • pr/ci/deploy-macos-15-intel
  • pr/feat/diagrams-20250717
  • pr/flint-version-check
  • putfirst-neg
  • repeat-sum
  • series-tst
  • setups-file
  • stdint
  • struct-padding-2
  • test-color
  • test-coverage-fixes
  • test-extra-cov-fix
  • test-extra-mincer
  • timeout
  • timeout-fix
  • transform-noargs
  • void
  • warnings-32bit-debian

17 Oct 2025 11:37AM UTC coverage: 56.79% (+0.01%) from 56.779%
18591537129

Pull #725

github

web-flow
Merge 9088a07b3 into 2aba64bb5
Pull Request #725: StrictRounding statement for floats

52 of 61 new or added lines in 3 files covered. (85.25%)

11 existing lines in 1 file now uncovered.

46793 of 82396 relevant lines covered (56.79%)

5691269.01 hits per line

Relevant lines Covered
Build:
Build:
82396 RELEVANT LINES 46793 COVERED LINES
5691269.01 HITS PER LINE
Source Files on strict-rounding
  • Tree
  • List 65
  • Changed 10
  • Source Changed 5
  • Coverage Changed 9
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
18591537129 strict-rounding Merge 9088a07b3 into 2aba64bb5 Pull #725 17 Oct 2025 11:45AM UTC web-flow github
56.79
18305996312 strict-rounding Merge 69fe60b7b into 7fa4ceff5 Pull #725 07 Oct 2025 08:11AM UTC web-flow github
54.34
See All Builds (179)
  • 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