7
7
- completed
8
8
9
9
jobs :
10
- build :
11
-
10
+ check :
11
+ name : Check framework coverage differences and comment
12
12
runs-on : ubuntu-latest
13
13
if : >
14
14
${{ github.event.workflow_run.event == 'pull_request' &&
@@ -17,47 +17,46 @@ jobs:
17
17
steps :
18
18
- name : Dump GitHub context
19
19
env :
20
- GITHUB_CONTEXT : ${{ toJSON(github) }}
20
+ GITHUB_CONTEXT : ${{ toJSON(github.event ) }}
21
21
run : echo "$GITHUB_CONTEXT"
22
- - name : Clone self (github/codeql) head
22
+ - name : Clone self (github/codeql)
23
23
uses : actions/checkout@v2
24
- with :
25
- path : head
26
24
- name : Set up Python 3.8
27
25
uses : actions/setup-python@v2
28
26
with :
29
27
python-version : 3.8
30
28
31
29
# download artifacts from the PR job:
32
- - name : Download artifact - HEAD
33
- uses : dawidd6/action-download- artifact@v2.14.0
34
- with :
35
- workflow : csv-coverage-pr-artifacts.yml
36
- run_id : ${{ github.event.workflow_run.id }}
37
- name : csv-framework-coverage-merge
38
- path : out_head
30
+
31
+ - name : Download artifact - MERGE
32
+ env :
33
+ GITHUB_TOKEN : ${{ secrets.GITHUB_TOKEN }}
34
+ RUN_ID : ${{ github.event.workflow_run.id }}
35
+ run : |
36
+ gh run download --name "csv-framework-coverage-merge" --dir "out_merge" "$RUN_ID"
39
37
40
38
- name : Download artifact - BASE
41
-
42
- with :
43
- workflow : csv-coverage-pr-artifacts.yml
44
- run_id : ${{ github.event.workflow_run.id }}
45
- name : csv-framework-coverage-base
46
- path : out_base
39
+ env :
40
+ GITHUB_TOKEN : ${{ secrets.GITHUB_TOKEN }}
41
+ RUN_ID : ${{ github.event.workflow_run.id }}
42
+ run : |
43
+ gh run download --name "csv-framework-coverage-base" --dir "out_base" "$RUN_ID"
47
44
48
45
- name : Download artifact - PR
49
-
50
- with :
51
- workflow : csv-coverage-pr-artifacts.yml
52
- run_id : ${{ github.event.workflow_run.id }}
53
- name : pr
54
- path : pr
46
+ env :
47
+ GITHUB_TOKEN : ${{ secrets.GITHUB_TOKEN }}
48
+ RUN_ID : ${{ github.event.workflow_run.id }}
49
+ run : |
50
+ gh run download --name "pr" --dir "pr" "$RUN_ID"
55
51
56
52
- name : Check coverage files
53
+ env :
54
+ GITHUB_TOKEN : ${{ secrets.GITHUB_TOKEN }}
55
+ RUN_ID : ${{ github.event.workflow_run.id }}
57
56
run : |
58
57
PR=$(cat "pr/NR")
59
- GITHUB_TOKEN=${{ secrets.GITHUB_TOKEN }} python head/ misc/scripts/library-coverage/compare-files-comment-pr.py \
60
- out_head out_base comparison.md ${{ github.repository }} $PR ${{ github.event.workflow_run.id }}
58
+ python misc/scripts/library-coverage/compare-files-comment-pr.py \
59
+ out_merge out_base comparison.md ${{ github.repository }} $PR $RUN_ID
61
60
- name : Upload comparison results
62
61
uses : actions/upload-artifact@v2
63
62
with :
0 commit comments