-
Notifications
You must be signed in to change notification settings - Fork 1.1k
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
sync: update CI config files #1082
Conversation
2880e49
to
29d70c6
Compare
Unfortunately, this test relies heavily on timing.
eaf2871
to
cfdf87e
Compare
cfdf87e
to
1460c01
Compare
If we don't pause for some time, the scheduler can get stuck in a busy loop.
Hm. So... that's one problem with the auto-merge. |
@Stebalien We could change the auto-merge logic such that it only triggers if all commits in a PR have |
Yeah, that would be really nice. Commit author probably makes sense, rebase should be fine. NOTE: I'm slightly concerned about it allowing contributors to bypass merge policies. I'm wondering if we should protect the web3-bot branches. |
Syncing to commit protocol/.github@137ffc6.