File tree Expand file tree Collapse file tree 2 files changed +0
-44
lines changed Expand file tree Collapse file tree 2 files changed +0
-44
lines changed Original file line number Diff line number Diff line change 6262 GITHUB_WORKSPACE : ${{ github.workspace }}
6363 GITHUB_TOKEN : ${{ inputs.token }}
6464 GITHUB_EVENT_NAME : ${{ github.event_name }}
65-
66- - name : Debug PR comment conditions
67- if : always()
68- shell : bash
69- run : |
70- echo "Debug PR comment conditions:"
71- echo "comment-on-pr input: ${{ inputs.comment-on-pr }}"
72- echo "INPUT_COMMENT_ON_PR env: $INPUT_COMMENT_ON_PR"
73- echo "validation_passed: ${{ steps.validate.outputs.validation_passed }}"
74- echo "github.event_name: ${{ github.event_name }}"
75- if [ -f "$GITHUB_OUTPUT" ]; then
76- echo "Contents of GITHUB_OUTPUT:"
77- cat "$GITHUB_OUTPUT"
78- else
79- echo "No GITHUB_OUTPUT file found"
80- fi
8165
8266 - name : Comment on PR if validation fails
8367 if : ${{ always() && inputs.comment-on-pr == 'true' && steps.validate.outputs.validation_passed == 'false' && github.event_name == 'pull_request' }}
Load Diff This file was deleted.
You can’t perform that action at this time.
0 commit comments