Skip to content

Upgrade GitHub actions #1512

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.

Sign up for GitHub

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

Jump to bottom
Merged
merged 2 commits into from
Jul 3, 2025
Merged

Upgrade GitHub actions #1512

merged 2 commits into from
Jul 3, 2025

Conversation

ePaul
Copy link
Member

@ePaul ePaul commented Nov 12, 2024

Upgrade Github actions versions.

This is the same as #1496, just as a fresh PR to get it build again.

@ePaul ePaul added type: enhancement area: build The build system in this repository. labels Nov 12, 2024
@ePaul ePaul requested a review from tkrop as a code owner November 12, 2024 14:26
@ePaul ePaul added minor Minor changes, e.g. low risk config updates, changes that do not introduce a new API call. major Major feature changes or updates, e.g. feature rollout to a new country, new API calls. and removed minor Minor changes, e.g. low risk config updates, changes that do not introduce a new API call. labels Nov 12, 2024
@ePaul ePaul mentioned this pull request Nov 12, 2024
Open
@ePaul
Copy link
Member Author

ePaul commented Feb 6, 2025

👍

@tkrop
Copy link
Member

tkrop commented Jul 3, 2025

👍

1 similar comment
@fellipeale
Copy link
Contributor

👍

tkrop
tkrop reviewed Jul 3, 2025
View reviewed changes
Copy link
Member

@tkrop tkrop left a comment

Choose a reason for hiding this comment

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

@ePaul thank you very much for your contribution.

@tkrop tkrop merged commit 3a4d1d1 into main Jul 3, 2025
10 checks passed
@tkrop tkrop deleted the upgrade-github-actions branch July 3, 2025 14:39
@ePaul
Copy link
Member Author

ePaul commented Jul 3, 2025

Actually it was a contribution from @sullis in #1496.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@tkrop tkrop tkrop left review comments

Assignees

No one assigned

Labels

area: build The build system in this repository. major Major feature changes or updates, e.g. feature rollout to a new country, new API calls. type: enhancement

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

4 participants

@ePaul @tkrop @fellipeale @sullis