Merge remote-tracking branch 'origin/master' into elephantum/issue313

epoch8 · Aug 11, 2024 · 9a03672 · 9a03672
2 parents a1fbcb9 + 56e3739
commit 9a03672
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml
@@ -2,6 +2,8 @@ name: Build and publish docs
 
 on:
   push:
+    branches:
+      - "master"
     paths:
       - ".github/workflows/docs.yaml"
       - "docs/**"