main

Don't restart servers when userprefs change #4785

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Lint	31s
Unittesting (ubuntu-latest)	1m 10s
Unittesting (windows-latest)	1m 36s
	3m 17s