This repository was archived by the owner on Nov 28, 2022. It is now read-only.
File tree Expand file tree Collapse file tree 1 file changed +14
-15
lines changed Expand file tree Collapse file tree 1 file changed +14
-15
lines changed Original file line number Diff line number Diff line change 1
1
name : pr-auditor
2
2
on :
3
3
pull_request :
4
- types : [ closed, edited, opened ]
5
-
4
+ types : [ closed, edited, opened, synchronize ]
6
5
jobs :
7
- run :
8
- runs-on : ubuntu-latest
9
- steps :
10
- - uses : actions/checkout@v2
11
- with : { repository: 'sourcegraph/sourcegraph' }
12
- - uses : actions/setup-go@v2
13
- with : { go-version: '1.18' }
14
-
15
- - run : ./dev/pr-auditor/check-pr.sh
16
- env :
17
- GITHUB_EVENT_PATH : ${{ env.GITHUB_EVENT_PATH }}
18
- GITHUB_TOKEN : ${{ secrets.CODENOTIFY_GITHUB_TOKEN }}
19
- GITHUB_RUN_URL : https://github.com/sourcegraph/infrastructure /actions/runs/${{ github.run_id }}
6
+ pr-auditor :
7
+ runs-on : ubuntu-latest
8
+ name : pr-auditor
9
+ steps :
10
+ - uses : actions/checkout@v2
11
+ with : { repository: 'sourcegraph/sourcegraph' }
12
+ - uses : actions/setup-go@v2
13
+ with : { go-version: '1.18' }
14
+ - run : ./dev/pr-auditor/check-pr.sh
15
+ env :
16
+ GITHUB_EVENT_PATH : ${{ env.GITHUB_EVENT_PATH }}
17
+ GITHUB_TOKEN : ${{ secrets.CODENOTIFY_GITHUB_TOKEN }}
18
+ GITHUB_RUN_URL : https://github.com/${{ github.repository }} /actions/runs/${{ github.run_id }}
You can’t perform that action at this time.
0 commit comments