Exclude gh-pages pull requests.

datajoint · Sep 21, 2022 · 23983e9 · 23983e9
1 parent 54a966e
commit 23983e9
Showing 1 changed file with 1 addition and 0 deletions.
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: