Skip to content
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

upgrade GitHub Actions #1496

Open
wants to merge 1 commit into
base: main
Choose a base branch
from

Conversation

sullis
Copy link

@sullis sullis commented May 13, 2024

Updating from v2 to v4.

@sullis sullis requested a review from tkrop as a code owner May 13, 2024 02:17
@ePaul ePaul added type: enhancement major Major feature changes or updates, e.g. feature rollout to a new country, new API calls. labels Nov 12, 2024
@ePaul ePaul mentioned this pull request Nov 12, 2024
@ePaul
Copy link
Member

ePaul commented Nov 12, 2024

👍

@ePaul
Copy link
Member

ePaul commented Nov 12, 2024

I managed to retrigger the pipelines by opening a new PR #1512 with the same commit, and it looks good.
(We should still merge this one instead.)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
major Major feature changes or updates, e.g. feature rollout to a new country, new API calls. type: enhancement
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants