Exclude gh-pages pull requests.

guzman-raphael · guzman-raphael · commit 23983e916042 · 2022-09-21T11:07:47.000-05:00
diff --git a/.github/workflows/development.yaml b/.github/workflows/development.yaml
@@ -10,6 +10,7 @@ on:
   pull_request:
     branches:
       - '**' # every branch
+      - '!gh-pages' # exclude gh-pages branch
       - '!stage*' # exclude branches beginning with stage
 jobs:
   build:
