[skip changelog] Run docs build on more path changes#607

masci merged 1 commit intomasterarduino/arduino-cli:masterfrom

massi/docsbuildarduino/arduino-cli:massi/docsbuildCopy head branch name to clipboard