Skip to content

Use larger runner for releases #615

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
May 30, 2025
Merged

Use larger runner for releases #615

merged 1 commit into from
May 30, 2025

Conversation

zanieb
Copy link
Member

@zanieb zanieb commented May 17, 2025

@zanieb zanieb added the ci:skip label May 17, 2025
@zanieb zanieb force-pushed the zb/larger-runner branch from 336cc9a to 8e3b7c7 Compare May 17, 2025 17:29
@geofft geofft merged commit bb8404c into main May 30, 2025
14 checks passed
@geofft geofft deleted the zb/larger-runner branch May 30, 2025 05:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants