We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 556fdef commit eec855eCopy full SHA for eec855e
1 file changed
.github/workflows/merge-and-generate-problems.yml
@@ -35,6 +35,12 @@ jobs:
35
- name: Merge All Open PRs
36
id: merge-prs
37
run: |
38
+ if [ "${{ github.event_name }}" = "workflow_dispatch" ]; then
39
+ echo "Manual trigger detected. Forcing pr_found=true"
40
+ echo "pr_found=true" >> $GITHUB_ENV
41
+ exit 0
42
+ fi
43
+
44
PR_LIST=$(gh pr list --state open --json number -q '.[].number')
45
46
if [ -n "$PR_LIST" ]; then
0 commit comments