GitHub Actions / PR Type
succeeded
Apr 2, 2024 in 1s
PR Type in Title
Found π PR (bugfix)
Details
Final title:
prevent leader election when shutting down a non-elected manager
Loading
Found π PR (bugfix)
Final title:
prevent leader election when shutting down a non-elected manager