File tree Expand file tree Collapse file tree 1 file changed +17
-4
lines changed
Expand file tree Collapse file tree 1 file changed +17
-4
lines changed Original file line number Diff line number Diff line change 3030 pull-requests : write
3131 timeout-minutes : 10
3232 steps :
33+ - name : Show GitHub context
34+ env :
35+ PR_NUMBER : ${{ github.event.inputs.pr_number }}
36+ WORKFLOW_RUN_ID : ${{ github.event.inputs.workflow_run_id }}
37+ EVENT_NAME : ${{ github.event_name }}
38+ WORKFLOW : ${{ github.workflow }}
39+ RUN_ID : ${{ github.run_id }}
40+ RUN_NUMBER : ${{ github.run_number }}
41+ run : |
42+ echo "PR_NUMBER=${PR_NUMBER}"
43+ echo "WORKFLOW_RUN_ID=${WORKFLOW_RUN_ID}"
44+ echo "EVENT_NAME=${EVENT_NAME}"
45+ echo "WORKFLOW=${WORKFLOW}"
46+ echo "RUN_ID=${RUN_ID}"
47+ echo "RUN_NUMBER=${RUN_NUMBER}"
48+
3349 - name : Download PR number
3450 if : ${{ github.event_name != 'workflow_dispatch' }}
3551 uses : actions/download-artifact@v6
@@ -124,10 +140,7 @@ jobs:
124140 GITHUB_OAUTH : ${{ secrets.GH_TOKEN_JABREF_MACHINE_PR_APPROVE }}
125141
126142 - name : ' Adapt label "status: changes-required"'
127- if : >
128- ${{ github.event_name == 'workflow_dispatch' ||
129- ((github.event.workflow_run.name == 'Source Code Tests') && (steps.read-pr_number.outputs.pr_number != '') && (steps.isCrossRepository.outputs.isCrossRepository == 'true'))
130- }}
143+ if : ${{ github.event_name == 'workflow_dispatch' || (github.event.workflow_run.name == 'Source Code Tests') && (steps.read-pr_number.outputs.pr_number != '' && steps.isCrossRepository.outputs.isCrossRepository == 'true') }}
131144 run : |
132145 echo "PR #$PR_NUMBER" >> $GITHUB_STEP_SUMMARY
133146
You can’t perform that action at this time.
0 commit comments