Merge pull request #752 from arduino/example-not-folder #1274

Job	Run time
run-determination	1s
check-errors (./)	36s
check-style (./)	19s
check-errors (docsgen)	32s
check-outdated (./)	14s
check-config (./)	19s
check-style (docsgen)	16s
check-outdated (docsgen)	20s
check-errors (ruledocsgen)	31s
check-style (ruledocsgen)	17s
check-config (docsgen)	19s
check-outdated (ruledocsgen)	15s
check-config (ruledocsgen)	17s
check-formatting (./)	20s
check-formatting (docsgen)	19s
check-formatting (ruledocsgen)	19s
	5m 14s

Provide feedback