Disable doc build (#715)

opencompl · Oct 23, 2024 · 4126db5 · 4126db5
1 parent 16b9c51
commit 4126db5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/doc.yml b/.github/workflows/doc.yml
@@ -2,7 +2,7 @@ name: docs
 on:
   push:
     branches:
-      - "main"
+      - "main-disabled"
 
 # Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
 permissions: