Merge pull request #16 from DarviL82/dev

update docs workflow
darvil82 · Dec 14, 2023 · 00dce43 · 00dce43
2 parents 45b5dd2 + 83c1aa0
commit 00dce43
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/.github/workflows/publish-docs.yml b/.github/workflows/publish-docs.yml
@@ -2,9 +2,8 @@ name: Deploy Javadoc
 
 on:
   workflow_dispatch:
-  push:
-    branches:
-      - main
+  release:
+    types: [ created ]
 
 permissions:
   contents: write