Skip to content

Merge pull request #12 from adrianchiris/use-named-leader-elect #47

Merge pull request #12 from adrianchiris/use-named-leader-elect

Merge pull request #12 from adrianchiris/use-named-leader-elect #47

Triggered via push January 13, 2026 11:09
Status Success
Total duration 16m 25s
Artifacts
Fit to window
Zoom out
Zoom in