Deploy docs on release (#171)

CQCL · Nov 29, 2024 · db8fcbb · db8fcbb
1 parent 2dd2c2a
commit db8fcbb
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.github/workflows/deploy_docs.yml b/.github/workflows/deploy_docs.yml
@@ -2,6 +2,10 @@ name: Build and Deploy Docs
 
 on:
   workflow_dispatch:
+  # Runs when a version tag is pushed
+  push:
+    tags:
+      - v**
 
 # Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
 permissions: