[skip changelog] Avoid running CI tests if only docs are modified#843

silvanocerza merged 1 commit intoarduino:masterarduino/arduino-cli:masterfrom

silvanocerza:test-ci-fixCopy head branch name to clipboard