Merge pull request #761 from arduino/update-extract-lib #1352

Job	Run time
run-determination	1s
check-config (./)	26s
check-formatting (./)	11s
check-errors (./)	45s
check-config (docsgen)	15s
check-errors (docsgen)	34s
check-formatting (docsgen)	11s
check-errors (ruledocsgen)	36s
check-config (ruledocsgen)	16s
check-formatting (ruledocsgen)	13s
check-outdated (./)	15s
check-outdated (docsgen)	13s
check-style (./)	22s
check-outdated (ruledocsgen)	13s
check-style (docsgen)	17s
check-style (ruledocsgen)	23s
	5m 11s

Provide feedback