Remove `ServerPingerExtension` as it's unused #1042

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (21, ubuntu-22.04)	17m 27s
build (21, windows-2022)	19m 30s
	36m 57s