Merge pull request #794 from per1234/script-path #1331

Job	Run time
run-determination	1s
check-formatting (./)	13s
check-errors (./)	38s
check-formatting (docsgen)	15s
check-errors (docsgen)	30s
check-formatting (ruledocsgen)	14s
check-outdated (./)	13s
check-errors (ruledocsgen)	36s
check-style (./)	18s
check-outdated (docsgen)	14s
check-style (docsgen)	15s
check-outdated (ruledocsgen)	21s
check-style (ruledocsgen)	14s
check-config (./)	18s
check-config (docsgen)	23s
check-config (ruledocsgen)	23s
	5m 6s

Provide feedback