Skip to content

feat: stop the procedure manager if a new leader is elected #10240

feat: stop the procedure manager if a new leader is elected

feat: stop the procedure manager if a new leader is elected #10240

Triggered via pull request October 17, 2023 04:16
Status Success
Total duration 30s
Artifacts

develop.yml

on: pull_request
Matrix: Sqlness Test
Fit to window
Zoom out
Zoom in