[skip changelog] Split publish docs workflow#1028

silvanocerza merged 2 commits intomasterarduino/arduino-cli:masterfrom

scerza/fix-docs-publishingarduino/arduino-cli:scerza/fix-docs-publishingCopy head branch name to clipboard