Skip to content

Don't restart servers when userprefs change #4766

Don't restart servers when userprefs change

Don't restart servers when userprefs change #4766

Triggered via pull request April 21, 2024 18:20
Status Success
Total duration 1m 36s
Artifacts

main.yml

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