form-dev / form

63%

master: 63%

LAST BUILD ON BRANCH require-flint

branch: require-flint

CHANGE BRANCH

x

Reset

• require-flint
• 4.3
• PrintFloat
• StartFloat
• actions-cond-valgrind
• alloc-failure-hang
• backtrace
• badges
• chainin-symm
• check-hyperform
• chop
• ci-setup-build-action
• ci-windows-2022
• ci/build-arm64-windows
• ci/deploy-enable-flint
• cmp-counter
• comp-native
• cppcheck
• dependabot/github_actions/actions/checkout-6.0.3
• dependabot/github_actions/actions/checkout-7
• dimension
• doc-load
• documentation
• dollar-decl
• dollar-modopt-max
• dollar-pre-incr
• dollars-min-max
• dollars-recursive-lock
• endsort-leak
• evaluate-fun
• exponential
• factarg-vec
• feature/autoconf-2.69
• feature/update-cache-apt-pkgs-action
• feature/update-github-actions
• findloop-replaceloop
• fix-649
• fix-endsort
• fix-issue-646
• fix-issue-695
• fix-sav-regression
• fix-term-arg-stagesort
• fix-tex4ht
• fix-torat
• flint-cleanup
• flint-fix-poly-fact
• flint-reserve
• flint-sparse
• flintv2
• float-bugs
• float-manual
• float-tests
• float-zero
• formlib
• grcc-2pt-vtx
• grcc-fixes
• grcc-fixes-2
• humanstats
• humanstats-test
• inside-dollar
• intohide
• issue-251
• issue-252
• issue-617
• issue-631
• issue-647
• issue-664
• issue-710
• issue-711
• issue-747
• issue-747-2
• issue-750
• issue-856
• lcov-excl
• license-notice
• make-dollar-warning-default
• manual-diagrams
• manual-updates
• many-threads
• master
• memmove
• mod-opt-segfault
• mzv-errors
• non-symbol-takecontent
• padic-pr
• perf-flint
• perf-float-check
• polynomial-tests
• pr/allow-dollar-moduleoption-anywhere
• pr/build/fix-latex2html
• pr/build/zlibwrapper-handling
• pr/chore/dependabot
• pr/ci/actions-checkout-v6-in-32bit-containers
• pr/ci/deploy-macos-15-intel
• pr/ci/flint-3.4.0
• pr/ci/stale-workflow
• pr/docs/fix-equation-numbers
• pr/docs/fix-spectators
• pr/docs/remove-cfunctions-properties
• pr/feat/continuedo_number
• pr/feat/diagrams-20250717
• pr/feat/enhanced-cherk_rb
• pr/feat/print-feature-list
• pr/feat/warn-conflicting-dollar-moduleoptions
• pr/fix/ci/cache-apt
• pr/fix/latex2html-authorlist
• pr/fix/manual-labels-and-sections
• pr/fix/parform-runtime-terminate
• pr/flint-version-check
• pr/refactor/remove-pre-c89-legacy-code
• pr/test/diagram-comparison
• pr/test/improve-total_physical_memory
• pr/test/vacuum-bubbles
• prep-v501
• preproc-subsubversion
• protect-float
• putfirst-neg
• qgraf-keywords
• readme
• repeat-sum
• runtime-error-tests
• series-tst
• setups-file
• sortbot-blocks
• sortverbose
• stdint
• strict-rounding
• struct-padding-2
• test-color
• test-coverage
• test-coverage-fixes
• test-extra-cov-fix
• test-extra-mincer
• threadbuckets
• timeout
• timeout-fix
• transform-noargs
• user-normsize
• v5.0.0
• v5.0.1
• void
• warnings-32bit-debian

Build # 27709870988

Build Type

Pull #848

github

Committed by web-flow

Commit Message

Merge c62b21d59 into 306c359be

Pull Request Pull Request #848: test: add #require flint? for the test suite.

Coverage Stats

52083 of 82799 relevant lines covered (62.9%)

10482585.3 hits per line