Skip to content

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

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

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

Triggered via push January 21, 2026 10:21
Status Success
Total duration 16m 16s
Artifacts
Fit to window
Zoom out
Zoom in