Merge pull request #24 from JuliaPluto/ci-docs-only-master

JuliaPluto · Jan 26, 2022 · 7bbabcc · 7bbabcc
2 parents 0b5fe4d + 4f0021c
commit 7bbabcc
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 2 deletions.
diff --git a/.github/workflows/docs-dev.yml b/.github/workflows/docs-dev.yml
@@ -2,7 +2,6 @@ name: docs-dev
 on:
   push:
     branches: [master]
-  pull_request:
 jobs:
   Documenter:
     name: Documentation

diff --git a/.github/workflows/docs-stable.yml b/.github/workflows/docs-stable.yml
@@ -2,7 +2,6 @@ name: docs-stable
 on:
   push:
     tags: [v*]
-  pull_request:
 jobs:
   Documenter:
     name: Documentation