File tree Expand file tree Collapse file tree 1 file changed +10
-10
lines changed Expand file tree Collapse file tree 1 file changed +10
-10
lines changed Original file line number Diff line number Diff line change @@ -47,13 +47,13 @@ jobs:
47
47
- name : Print log
48
48
run : cat linting_output.txt
49
49
50
- # - name: Process Comments
51
- # id: process-comments
52
- # env:
53
- # GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
54
- # PR_NUMBER: ${{ github.event.pull_request.number }}
55
- # BRANCH_SHA: ${{ github.event.pull_request.head.sha }}
56
- # RUN_ID: ${{ github.run_id }}
57
- # LOG_FILE: linting_output.txt
58
- # VERSIONS_FILE: versions.txt
59
- # run: python ./build_tools/get_comment.py
50
+ - name : Process Comments
51
+ id : process-comments
52
+ env :
53
+ GITHUB_TOKEN : ${{ secrets.GITHUB_TOKEN }}
54
+ PR_NUMBER : ${{ github.event.pull_request.number }}
55
+ BRANCH_SHA : ${{ github.event.pull_request.head.sha }}
56
+ RUN_ID : ${{ github.run_id }}
57
+ LOG_FILE : linting_output.txt
58
+ VERSIONS_FILE : versions.txt
59
+ run : python ./build_tools/get_comment.py
You can’t perform that action at this time.
0 commit comments