manin branch since docs do not work

ranocha · Oct 25, 2024 · 74bf714 · 74bf714
1 parent b7d3a1c
commit 74bf714
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/website.yml b/.github/workflows/website.yml
@@ -3,7 +3,7 @@ name: Deploy HTML output
 on:
   push:
     branches:
-      - [$default-branch]
+      - main
   workflow_dispatch:
 
 # Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages