Don't restart servers when userprefs change #4775

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Lint	31s
Lint	31s
Lint	31s
Lint	31s
Unittesting (ubuntu-latest)	1m 5s
Unittesting (ubuntu-latest)	1m 5s
Unittesting (ubuntu-latest)	1m 5s
Unittesting (ubuntu-latest)	1m 5s
Unittesting (macOS-latest)	3m 30s
Unittesting (macOS-latest)	3m 29s
Unittesting (macOS-latest)	3m 28s
Unittesting (macOS-latest)	3m 28s
Unittesting (windows-latest)	1m 37s
Unittesting (windows-latest)	1m 37s
Unittesting (windows-latest)	1m 37s
Unittesting (windows-latest)	1m 37s
	26m 47s