Skip to content

Update GitHub Actions CI #28

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
merged 1 commit into from
Jun 3, 2025
Merged

Update GitHub Actions CI #28

merged 1 commit into from
Jun 3, 2025

Conversation

lucaswerkmeister
Copy link
Member

The Ubuntu 20.04 LTS runner was retired on 2025-04-15; given how rarely we touch this library, I think jumping on the “ubuntu-latest” train has a higher chance of succeeding.

More recent Ubuntu images no longer contain several PHP versions (a, b); the most common approach seems to be the shivammathur/setup-php action, so let’s use that.

The Ubuntu 20.04 LTS runner was retired on 2025-04-15 [1]; given how
rarely we touch this library, I think jumping on the “ubuntu-latest”
train has a higher chance of succeeding.

More recent Ubuntu images no longer contain several PHP versions [2]
[3]; the most common approach seems to be the shivammathur/setup-php
action, so let’s use that.

[1]: actions/runner-images#11101
[2]: https://github.com/actions/runner-images/blob/releases/ubuntu22/20250601/images/ubuntu/Ubuntu2204-Readme.md#php-tools
[3]: https://github.com/actions/runner-images/blob/releases/ubuntu24/20250601/images/ubuntu/Ubuntu2404-Readme.md#php-tools
@lucaswerkmeister lucaswerkmeister requested a review from manicki June 3, 2025 13:12
@lucaswerkmeister
Copy link
Member Author

CC @reedy from #27, in case you used the update-alternatives trick in any other repos as well…

(FTR, we’re looking into using this library for T395802 and related tasks, which is why I’m touching it now.)

Copy link
Member

@manicki manicki left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

does the job = ship. no idea why ubuntu-latest was not used originally, so see no reason to do something more elaborate

@lucaswerkmeister lucaswerkmeister merged commit 3bfe90f into master Jun 3, 2025
10 checks passed
@lucaswerkmeister lucaswerkmeister deleted the ci branch June 3, 2025 13:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Development

Successfully merging this pull request may close these issues.

2 participants