Fix deploy script maybe (#188)

jscheiny · May 17, 2024 · 13604d3 · 13604d3
1 parent effe374
commit 13604d3
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -2,7 +2,8 @@ name: Deploy docs to Pages
 
 on:
   push:
-    branches: [$default-branch]
+    branches:
+      - $default-branch
 
   workflow_dispatch: