Build

Make it possible to not use our short name override, which we need wh… #2221

Job	Run time
run-simulator-tests	7m 9s
check-code-style	6s
check-cpplint	11s
check-shellcheck	3s
smoke-sketches	3m 2s
find-filename-conflicts	3s
publish-arduino-package-on-every-commit	0s
	10m 34s

Provide feedback