ci: fix docs build on push

Signed-off-by: Julius Härtl <jus@bitgrid.net>
juliusknorr · Dec 2, 2023 · 0454d2c · 0454d2c
1 parent 1ce9d8f
commit 0454d2c
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -1,7 +1,8 @@
 name: Publish MkDocs to GitHub Pages
 on:
   push:
-    branches: [$default-branch]
+    branches:
+      - master
 
   # Allows you to run this workflow manually from the Actions tab
   workflow_dispatch: