CI improvements 20250918 #64

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged

uyjulian merged 5 commits into ps2dev:main from uyjulian:ci_improvements_20250918

Oct 4, 2025

+201 −56

Merged

buildsystem: use sed wrapper around gsed for macOS

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