Skip to content

Kill existing connections when changing roles #1051

Kill existing connections when changing roles

Kill existing connections when changing roles #1051

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

mdbook.yaml

on: pull_request
Build book
9s
Build book
Publish book on GitHub Pages
6s
Publish book on GitHub Pages
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
book Expired
4.11 MB