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

form-dev / form
57%

Build:
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 master
branch: SELECT
CHANGE BRANCH
x
  • No branch selected
  • 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
  • dimension
  • 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
  • issue-710
  • 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
  • strict-rounding
  • struct-padding-2
  • test-color
  • test-coverage-fixes
  • test-extra-cov-fix
  • test-extra-mincer
  • timeout
  • timeout-fix
  • transform-noargs
  • void
  • warnings-32bit-debian

28 Oct 2025 10:35AM UTC coverage: 56.881% (-0.01%) from 56.894%
18871913816

push

github

jodavies
ci(deploy): migrate from macos-13 to macos-15-intel

The macos-13 (x86_64) runner image is deprecated. This patch migrates to
macos-15-intel, the last supported Intel-based macOS image for GitHub-
hosted runners.

See:
https://github.com/actions/runner-images/issues/13046
https://github.blog/changelog/2025-09-19-github-actions-macos-13-runner-image-is-closing-down/

46838 of 82344 relevant lines covered (56.88%)

5694787.09 hits per line

Relevant lines Covered
Build:
Build:
82344 RELEVANT LINES 46838 COVERED LINES
5694787.09 HITS PER LINE
Source Files on master
  • Tree
  • List 65
  • Changed 3
  • Source Changed 0
  • Coverage Changed 3
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
18871913816 master ci(deploy): migrate from macos-13 to macos-15-intel The macos-13 (x86_64) runner image is deprecated. This patch migrates to macos-15-intel, the last supported Intel-based macOS image for GitHub- hosted runners. See: https://github.com/actions/r... push 28 Oct 2025 10:45AM UTC jodavies github
56.88
18746188038 issue-251 Merge cd7312a21 into afebe6619 Pull #731 23 Oct 2025 11:04AM UTC web-flow github
56.9
18685388669 dimension Merge d9ef3f093 into afebe6619 Pull #738 21 Oct 2025 01:29PM UTC web-flow github
56.91
18682556030 issue-710 Merge 6fe7b89c5 into afebe6619 Pull #737 21 Oct 2025 11:40AM UTC web-flow github
56.98
18681678180 master fix: forbid redefinition of particles push 21 Oct 2025 11:05AM UTC jodavies github
56.89
18679674634 master fix: infinite loops in parsing/tokenising This fixes two infinite loops after error conditions, discovered by afl++. push 21 Oct 2025 10:46AM UTC jodavies github
56.77
18679788024 master warnings: 32bit: format and overflow Fix some types to avoid warnings on 32bit systems due to the size of LONG. push 21 Oct 2025 10:38AM UTC jodavies github
56.84
18679692613 master doc: add additional builtin macros to the manual Manual entries for keepleft_, keepright_, takeleft_, takeright_. push 21 Oct 2025 10:31AM UTC jodavies github
56.82
18679680647 master fix: when inparallel, load unhide expr from hide file The inparallel processing code must search for expressions in the hide file when they have status "unhide" as well as "hidden". push 21 Oct 2025 10:18AM UTC jodavies github
56.77
18679893032 issue-617 Merge e9be8f013 into aca9b6901 Pull #736 21 Oct 2025 10:11AM UTC web-flow github
56.9
See All Builds (190)
  • 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