🐛 prevent leader election when shutting down a non-elected manager
GitHub Actions / PR Issue
succeeded
Apr 2, 2024 in 1s
Issue/PR tag in PR title
Your PR title does not contain any Issue or PR tags
Loading