-
Notifications
You must be signed in to change notification settings - Fork 106
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
ci(label): skip duplicated build on PR creation #3155
Conversation
421142b
to
9d28105
Compare
9d28105
to
38fd356
Compare
Need to add |
@CodiumAI-Agent /review |
PR Analysis
PR Feedback
How to use
|
now 12:11, waiting for 2 hrs see if the timeout logic still has bug xd |
Resolves #3148
Resolves #3142
Tests
show case of skipping duplicated build: https://github.com/clearloop/gear/pull/2
show case of named builds: https://github.com/gear-tech/gear/actions/runs/5943456240/job/16118640453
@gear-tech/dev