ci: update deploy workflow to trigger on release instead of push

palcarazm · palcarazm · commit f4ea3c7a010b · 2026-06-28T15:57:52.000+02:00
diff --git a/.github/workflows/deploy-docs.yml b/.github/workflows/deploy-docs.yml
@@ -1,8 +1,8 @@
 name: Deploy documentation
 
 on:
-  push:
-    branches: [ "v5" ]
+  release:
+    types: [published]
   workflow_dispatch:
   
 permissions:
