Build

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

Job	Run time
Check YAML consistency	33s
Build docs	12s
Publish snapshot	2m 21s
build-for-WindowsLatest	3m 41s
Build Kotlin scripts	1m 6s
Run consistency check on all GitHub workflows	59s
build-for-UbuntuLatest	2m 21s
	11m 13s

Provide feedback