Fix manual trigger of CI

`HEAD` is not accepted as input, so this was changed to `master`
cadet · Dec 13, 2024 · 3090c33 · 3090c33
1 parent fc563dd
commit 3090c33
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -10,7 +10,7 @@ on:
       ref:
         description: 'Commit hash, branch name, or tag to run the CI pipeline for'
         required: false
-        default: 'HEAD'
+        default: 'master'
         type: string
 
 jobs: