CI improvements 20250918#64

Merged

uyjulian merged 5 commits into

Oct 4, 2025

Annotations

5 warnings

curl 8.16.0 is already installed and up-to-date. To reinstall 8.16.0, run: brew reinstall curl

wget 1.25.0 is already installed and up-to-date. To reinstall 1.25.0, run: brew reinstall wget

libmpc 1.3.1 is already installed and up-to-date. To reinstall 1.3.1, run: brew reinstall libmpc

mpfr 4.2.2 is already installed and up-to-date. To reinstall 4.2.2, run: brew reinstall mpfr

gmp 6.3.0 is already installed and up-to-date. To reinstall 6.3.0, run: brew reinstall gmp