Skip to content

Kill existing connections when changing roles #1048

Kill existing connections when changing roles

Kill existing connections when changing roles #1048

Triggered via pull request October 31, 2023 04:05
Status Success
Total duration 39s
Artifacts 1

mdbook.yaml

on: pull_request
Build book
16s
Build book
Publish book on GitHub Pages
7s
Publish book on GitHub Pages
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
book Expired
4.1 MB