Publish the docs on release

slinderman · Sep 24, 2022 · 91222d7 · 91222d7
1 parent 0eaa99e
commit 91222d7
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/publish_documentation.yml b/.github/workflows/publish_documentation.yml
@@ -1,8 +1,8 @@
 name: Publish the documentation
 
 on:
-  push:
-    branches: [main]
+  release:
+    types: [published]
 
 jobs:
   publish: