CI: Move PR doc build into main doc build

nipreps · Jan 18, 2024 · 706c6a7 · 706c6a7
1 parent 2cd1d45
commit 706c6a7
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 60 deletions.
diff --git a/.github/workflows/docs-build-pr.yml b/.github/workflows/docs-build-pr.yml
diff --git a/.github/workflows/docs-build-update.yml b/.github/workflows/docs-build-update.yml
@@ -5,13 +5,16 @@ on:
   push:
     branches: [ 'doc/*', 'docs/*', master, "maint/*" ]
     tags: [ '*' ]
+  pull_request:
+    branches: [ master, 'maint/*' ]
 
 concurrency:
   group: ${{ github.workflow }}-${{ github.ref }}
   cancel-in-progress: true
 
 jobs:
   build:
+    if: ${{ github.event_name != 'pull_request' || !contains(github.event.head_commit.message, '[skip ci]')) }}
     runs-on: ubuntu-latest
 
     steps: