ci: Fix branch name for gh-pages

jolicode · Feb 13, 2024 · 8a094ad · 8a094ad
1 parent 5531674
commit 8a094ad
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ghpages.yaml b/.github/workflows/ghpages.yaml
@@ -3,7 +3,7 @@ name: Build the public website, and publish to GitHub Pages
 
 on:
   push:
-    branches: [ "main" ]
+    branches: [ "master" ]
 
 permissions:
   contents: read