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

form-dev / form
51%
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 make-dollar-warning-default
branch: make-dollar-warning-default
CHANGE BRANCH
x
Reset
  • make-dollar-warning-default
  • 4.3
  • PrintFloat
  • StartFloat
  • 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
  • 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

26 Jun 2025 06:22AM UTC coverage: 50.66% (+0.06%) from 50.603%
15894528626

Pull #649

github

web-flow
Merge 00ec39111 into 21f29a875
Pull Request #649: Warn by default if parallel execution is vetoed due to dollar variables

2 of 2 new or added lines in 1 file covered. (100.0%)

1 existing line in 1 file now uncovered.

42067 of 83038 relevant lines covered (50.66%)

2136201.11 hits per line

Relevant lines Covered
Build:
Build:
83038 RELEVANT LINES 42067 COVERED LINES
2136201.11 HITS PER LINE
Source Files on make-dollar-warning-default
  • Tree
  • List 70
  • Changed 9
  • Source Changed 1
  • Coverage Changed 9
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
15894528626 make-dollar-warning-default Merge 00ec39111 into 21f29a875 Pull #649 09 Jul 2025 05:20PM UTC web-flow github
50.66
15894500389 make-dollar-warning-default Merge f32caa175 into 21f29a875 Pull #649 26 Jun 2025 06:24AM UTC web-flow github
50.67
15677296947 make-dollar-warning-default Merge a5fe32332 into 207386593 Pull #649 16 Jun 2025 09:42AM UTC web-flow github
50.45
15636445857 make-dollar-warning-default Merge b4b8746da into 60c0ae194 Pull #649 13 Jun 2025 02:08PM UTC web-flow github
50.4
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