Only build documentation if files under docs folder changed#16131

r0qs wants to merge 1 commit intodevelopargotorg/solidity:developfrom

docs-workflowargotorg/solidity:docs-workflowCopy head branch name to clipboard