Skip to content

Update GitHub Actions to latest stable#112

Merged
Sergio0694 merged 1 commit intomainfrom
dev/update-github-actions
Nov 15, 2024
Merged

Update GitHub Actions to latest stable#112
Sergio0694 merged 1 commit intomainfrom
dev/update-github-actions

Conversation

@Sergio0694
Copy link
Copy Markdown
Owner

Description (optional)

This PR just bumps the various GitHub Actions to their latest stable releases.

@Sergio0694 Sergio0694 added the infrastructure Build/packaging related changes label Nov 12, 2024
@Sergio0694 Sergio0694 merged commit d519f71 into main Nov 15, 2024
@Sergio0694 Sergio0694 deleted the dev/update-github-actions branch November 15, 2024 05:46
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

infrastructure Build/packaging related changes

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant