Force trigger for debug

jchabloz · Jan 3, 2024 · d959365 · d959365
1 parent ef27f66
commit d959365
Showing 1 changed file with 1 addition and 2 deletions.
diff --git 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