Skip to content

Don't restart servers when userprefs change #4907

Don't restart servers when userprefs change

Don't restart servers when userprefs change #4907

Triggered via pull request September 30, 2024 13:01
Status Success
Total duration 1m 44s
Artifacts

main.yml

on: pull_request
Matrix: Unittesting
Fit to window
Zoom out
Zoom in