Skip to content
CI

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

Sign in to view logs

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
@WenyXuWenyXu
synchronize #2576
WenyXu:feat/meta-procedure-stop
Status Success
Total duration 30s
Artifacts –

develop.yml

on: pull_request
Spell Check with Typos
21s
Spell Check with Typos
Check
0s
Check
Toml Check
0s
Toml Check
Rustfmt
0s
Rustfmt
Clippy
0s
Clippy
coverage
0s
coverage
Matrix: Sqlness Test
Fit to window
Zoom out
Zoom in