From d959365255a66f6aa6e5211f3fb73cabd8b5d1e2 Mon Sep 17 00:00:00 2001
From: jchabloz <jeremie.chabloz@a3.epfl.ch>
Date: Wed, 3 Jan 2024 22:55:38 +0100
Subject: [PATCH] Force trigger for debug

---
 .github/workflows/builddocs.yml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/.github/workflows/builddocs.yml b/.github/workflows/builddocs.yml
index df52761..ec96eca 100644
--- a/.github/workflows/builddocs.yml
+++ b/.github/workflows/builddocs.yml
@@ -2,8 +2,7 @@ name: Build docs
 
 on:
   workflow_dispatch:
-
-  # push:
+  push:
   #  branches: ["main"]
 
 # Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages