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

Gha-upgrades #1716

Merged
merged 1 commit into from
Feb 2, 2024
Merged

Gha-upgrades #1716

merged 1 commit into from
Feb 2, 2024

Conversation

gpmayorga
Copy link
Contributor

@gpmayorga gpmayorga commented Feb 1, 2024

Description

Upgrade Github Actions dependencies

Closes #1709 #1710 #1711 #1712

@wischli wischli merged commit 146d9d2 into main Feb 2, 2024
18 checks passed
@wischli wischli deleted the gha-upgrades branch February 2, 2024 07:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
D0-ready Pull request can be merged without special precaution and notification.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants