[skip changelog] Update broken or outdated references to docs workflow#890
Merged
per1234 merged 1 commit intoarduino:masterfrom Aug 4, 2020
per1234:update-docs-workflow-references
Merged
[skip changelog] Update broken or outdated references to docs workflow#890per1234 merged 1 commit intoarduino:masterfrom per1234:update-docs-workflow-references
per1234 merged 1 commit intoarduino:masterfrom
per1234:update-docs-workflow-references