File tree Expand file tree Collapse file tree 2 files changed +2
-18
lines changed
Expand file tree Collapse file tree 2 files changed +2
-18
lines changed Original file line number Diff line number Diff line change 55 - pull_request
66
77jobs :
8- pr-comment-init :
9- name : Create or update bot comment on PR
10- runs-on : ubuntu-latest
11- if : ${{ github.event_name == 'pull_request' }}
12- env :
13- GITHUB_TOKEN : ${{ secrets.GITHUB_TOKEN }}
14- GH_REPO : ${{ github.repository }}
15- BODY : |
16- ### :gear: CI started on this PR. Follow the progress here.
17- permissions :
18- pull-requests : write
19- steps :
20- - run : |
21- if ! gh pr comment ${{ github.event.pull_request.number }} --edit-last --body "${BODY}" ; then
22- gh pr comment ${{ github.event.pull_request.number }} --body "${BODY}"
23- fi
24-
258 build-env :
269 name : Prepare build environment
2710 runs-on : ubuntu-latest
Original file line number Diff line number Diff line change 2727 name : summary
2828
2929 - name : Load PR number
30- run : [ -f reports/pr_number ] && echo "PR_NUM=$(cat reports/pr_number)" >> $GITHUB_ENV
30+ run : |
31+ [ -f reports/pr_number ] && echo "PR_NUM=$(cat reports/pr_number)" >> $GITHUB_ENV
3132
3233 - name : Check PR number
3334 id : check-pr
You can’t perform that action at this time.
0 commit comments