Skip to content

Merge pull request #3139 from ramramu3433/jr/fix-leader-election #1216

Merge pull request #3139 from ramramu3433/jr/fix-leader-election

Merge pull request #3139 from ramramu3433/jr/fix-leader-election #1216

Triggered via push July 16, 2024 14:47
Status Success
Total duration 1m 48s
Artifacts
Generate and push docs
1m 36s
Generate and push docs
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Generate and push docs
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/