Skip to content

Don't restart servers when userprefs change #4713

Don't restart servers when userprefs change

Don't restart servers when userprefs change #4713

Triggered via pull request April 15, 2024 14:42
Status Success
Total duration 2m 0s
Artifacts

main.yml

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