docs: deploy on new releases, not every push, fixes #298

a-h · a-h · commit a77af9bdedad · 2023-11-15T14:14:47.000Z
diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml
@@ -1,11 +1,8 @@
 name: Deploy Docs
 
 on:
-  push:
-    branches:
-      - main
-    paths:
-      - "docs/**"
+  release:
+    types: [published]
   workflow_dispatch:
 
 permissions:
