I20250803-0330
Every change to the existing repository triggers a build that is pretty much pointless and expensive for a doc change that literally has no impact on the actual content being built. With this change documentation changes are excluded. Using documentation from https://docs.github.com/en/actions/reference/workflows-and-actions/workflow-syntax#example-excluding-paths