CI improvements 20250918 #25

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

fjtrujy merged 3 commits into ps2dev:main from uyjulian:ci_improvements_20250918

Oct 4, 2025

Merged

CI improvements 20250918 #25

buildsystem: Use printf instead of echo, use dollar shell subst inste…

Annotations

1 error and 7 warnings

curl 8.15.0 is already installed. To upgrade to 8.16.0, run: brew upgrade curl

You are using macOS 13. We (and Apple) do not provide support for this old version. This is a Tier 3 configuration: https://docs.brew.sh/Support-Tiers#tier-3 You can report Tier 3 unrelated issues to Homebrew/* repositories! Read the above document instead before opening any issues or PRs.

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

libtool 2.5.4 is already installed and up-to-date. To reinstall 2.5.4, run: brew reinstall libtool

autoconf 2.72 is already installed and up-to-date. To reinstall 2.72, run: brew reinstall autoconf

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

CI improvements 20250918 #25

Uh oh!

Uh oh!

CI improvements 20250918 #25

Uh oh!

Annotations

The logs for this run have expired and are no longer available.

Re-running jobs...