Skip to content

Conversation

@kainino0x
Copy link
Collaborator

This should free up resources (even if we're not paying for them) and maybe make our builds run a little bit faster / trigger a little sooner.

Current build times are consistently under ~5 minutes for PRs, and under ~6 minutes for pushes to main.

Issue: None

This should free up resources (even if we're not paying for them) and
maybe make our builds run a little bit faster / trigger a little sooner.

Current build times are consistently well under 10 minutes for both.
@kainino0x kainino0x enabled auto-merge (squash) November 10, 2023 02:11
@mehmetoguzderin
Copy link
Member

LGTM

@kainino0x kainino0x merged commit 4e27db8 into gpuweb:main Nov 10, 2023
@kainino0x kainino0x deleted the actions-best-practices branch November 10, 2023 22:43
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