Skip to content

🐛 prevent leader election when shutting down a non-elected manager

Sign in for the full log view
GitHub Actions / PR Issue succeeded Mar 24, 2024 in 23h 57m 22s

Issue/PR tag in PR title

Your PR title does not contain any Issue or PR tags

View more details on GitHub Actions