Skip to content

Conversation

@jplehr
Copy link
Contributor

@jplehr jplehr commented Dec 9, 2024

We have seen on this bot in particular issues with picking up a breaking change and some NFC change. This leads to the bot not commenting on the PR.

We have seen on this bot in particular issues with picking up a breaking
change and some NFC change. This leads to the bot not commenting on the
PR.
@Meinersbur
Copy link
Member

Meinersbur commented Dec 9, 2024

Are you sure a single worker able to keep up with the workload? I've seen a builder lagging behind 3 months because it was slower processing commits than there were new ones.

@jplehr
Copy link
Contributor Author

jplehr commented Dec 9, 2024

I would like to give it a shot. I monitor those workers relatively closely and we can revert this change or move the bot to another machine when we see that it starts lagging (too much).

@jplehr jplehr merged commit f35bf55 into llvm:main Dec 9, 2024
2 checks passed
@jplehr
Copy link
Contributor Author

jplehr commented Dec 9, 2024

@gkistanova this bot is in production, so I believe we need a master restart. This is not urgent. Let me know if you need anything from our end.

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