Use server id and clean up server records during startup #1684

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (3.9)	1m 50s
build (3.10)	1m 35s
build (3.11)	1m 36s
build (3.12)	1m 44s
	6m 45s