Repository navigation

Lint

ci: skip Real Vuforia on pull requests #8473

Job	Run time
build (3.14, windows-latest, pre-push)	3m 6s
build (3.14, ubuntu-latest, pre-push)	1m 36s
build (3.14, ubuntu-latest, manual)	49s
build (3.14, windows-latest, pre-commit)	3m 16s
build (3.14, ubuntu-latest, pre-commit)	1m 11s
build (3.14, windows-latest, manual)	2m 9s
completion-lint	2s
	12m 9s