CI: undo main -> $default-branch (cannot be used in workflows)

`$default-branch` is a macro only available in _workflow templates_, not in actual workflows.
haskell · Mar 13, 2023 · 86bd3ed · 86bd3ed
1 parent 1721ceb
commit 86bd3ed
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/workflow.yml b/.github/workflows/workflow.yml
@@ -2,12 +2,13 @@ name: "/setup"
 on:
   push:
     branches:
-      - $default-branch
+      - main
     paths-ignore:
       - "**.md"
   pull_request:
     paths-ignore:
       - "**.md"
+  workflow_dispatch:
 
 defaults:
   run: