Skip building the docs site for MSCs (#3729)

If only the `proposals` directory has changed, there's no point building the docs site and offering a preview.
2 years ago · 9e4b170643
parent 7aeea64797
commit 9e4b170643
1 changed files with 5 additions and 0 deletions
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@ -5,7 +5,12 @@ on:
      - main
    tags:
      - v*
+    # don't bother with this workflow if only proposals are changed
+    paths-ignore:
+      - proposals
  pull_request:
+    paths-ignore:
+      - proposals
  workflow_dispatch:

 jobs: