Skip to content
Build API docs

feat: stop the procedure manager if a new leader is elected (#2576) #952

Sign in to view logs

feat: stop the procedure manager if a new leader is elected (#2576)

feat: stop the procedure manager if a new leader is elected (#2576) #952

Triggered via push October 18, 2023 06:32
@github-merge-queuegithub-merge-queue[bot]
pushed dcd481e
develop
Status Success
Total duration 12m 27s
Artifacts –

apidoc.yml

on: push
apidoc
12m 17s
apidoc
Fit to window
Zoom out
Zoom in