Update deploy_docs.yml

luca-fiorito-11 · Jul 7, 2023 · 5abc1ba · 5abc1ba
1 parent 437861c
commit 5abc1ba
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/deploy_docs.yml b/.github/workflows/deploy_docs.yml
@@ -1,6 +1,7 @@
 name: Docs deployment
 
 on:
+  push:
   # Allows you to run this workflow manually from the Actions tab
   workflow_dispatch: