form-dev / form

57%

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

Build # 18871913816

Build Type

push

github

Committed by jodavies

Commit Message

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/

Run Details

46838 of 82344 relevant lines covered (56.88%)

5694787.09 hits per line