From 5abc1babdb490817600ccc8184f56e5d7450cdfe Mon Sep 17 00:00:00 2001
From: Luca Fiorito <lucafiorito.11@gmail.com>
Date: Fri, 7 Jul 2023 15:49:41 +0200
Subject: [PATCH] Update deploy_docs.yml

---
 .github/workflows/deploy_docs.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/deploy_docs.yml b/.github/workflows/deploy_docs.yml
index 724deab..72706f3 100644
--- 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: