77 - completed
88
99jobs :
10- build :
11-
10+ check :
11+ name : Check framework coverage differences and comment
1212 runs-on : ubuntu-latest
1313 if : >
1414 ${{ github.event.workflow_run.event == 'pull_request' &&
@@ -17,47 +17,46 @@ jobs:
1717 steps :
1818 - name : Dump GitHub context
1919 env :
20- GITHUB_CONTEXT : ${{ toJSON(github) }}
20+ GITHUB_CONTEXT : ${{ toJSON(github.event ) }}
2121 run : echo "$GITHUB_CONTEXT"
22- - name : Clone self (github/codeql) head
22+ - name : Clone self (github/codeql)
2323 uses : actions/checkout@v2
24- with :
25- path : head
2624 - name : Set up Python 3.8
2725 uses : actions/setup-python@v2
2826 with :
2927 python-version : 3.8
3028
3129 # 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"
3937
4038 - 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"
4744
4845 - 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"
5551
5652 - name : Check coverage files
53+ env :
54+ GITHUB_TOKEN : ${{ secrets.GITHUB_TOKEN }}
55+ RUN_ID : ${{ github.event.workflow_run.id }}
5756 run : |
5857 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
6160 - name : Upload comparison results
6261 uses : actions/upload-artifact@v2
6362 with :
0 commit comments