Build

chore(server): count calls to GitHub's API as metric #6615

Job	Run time
Check YAML consistency	37s
Build docs	14s
build-for-WindowsLatest	3m 3s
Run consistency check on all GitHub workflows	1m 7s
build-for-UbuntuLatest	2m 6s
Build Kotlin scripts	1m 5s
Publish snapshot	-1s
	8m 11s

Provide feedback