Skip to content

ci: Use larger runner for build job#10437

Merged
lforst merged 1 commit intodevelopfrom
lforst-larger-runner-build
Jan 31, 2024
Merged

ci: Use larger runner for build job#10437
lforst merged 1 commit intodevelopfrom
lforst-larger-runner-build

Conversation

@lforst
Copy link
Copy Markdown
Contributor

@lforst lforst commented Jan 31, 2024

I guess this will make CI much faster since it is a hot path?

@lforst lforst requested a review from mydea January 31, 2024 11:53
@lforst lforst merged commit acc5e33 into develop Jan 31, 2024
@lforst lforst deleted the lforst-larger-runner-build branch January 31, 2024 13:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants