💚 Only build docs on push when on master to avoid duplicate runs from PRs (#4564)

diff --git a/.github/workflows/build-docs.yml b/.github/workflows/build-docs.yml
index ccf964486a391edef6de9e30233ab74c6757b6f1..2482660f3bdca5b273a9b8398a9485829732d8b9 100644 (file)
--- a/.github/workflows/build-docs.yml
+++ b/.github/workflows/build-docs.yml
@@ -1,6 +1,8 @@
 name: Build Docs
 on:
   push:
+    branches:
+      - master
   pull_request:
     types: [opened, synchronize]
 jobs: