FilesExpand file tree

main

/

csv-coverage-pr-comment.yml

Copy path

View runs

Blame

More file actions

Blame

More file actions

Latest commit

 

History

History

History

38 lines (33 loc) · 1.01 KB

main

/

csv-coverage-pr-comment.yml

Copy path

Top

File metadata and controls

• Code
• Blame

38 lines (33 loc) · 1.01 KB

Raw

Copy raw file

Download raw file

Open symbols panel

Edit and raw actions

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

21

22

23

24

25

26

27

28

29

30

31

32

33

34

35

36

37

38

name: Comment on PR with framework coverage changes

on:

workflow_run:

workflows: ["Check framework coverage changes"]

types:

- completed

permissions:

contents: read

pull-requests: write

jobs:

check:

name: Check framework coverage differences and comment

runs-on: ubuntu-latest

if: >

${{ github.event.workflow_run.event == 'pull_request' &&

github.event.workflow_run.conclusion == 'success' }}

steps:

- name: Dump GitHub context

env:

GITHUB_CONTEXT: ${{ toJSON(github.event) }}

run: echo "$GITHUB_CONTEXT"

- name: Clone self (github/codeql)

uses: actions/checkout@v5

- name: Set up Python 3.8

uses: actions/setup-python@v4

with:

python-version: 3.8

- name: Check coverage difference file and comment

env:

GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}

RUN_ID: ${{ github.event.workflow_run.id }}

run: |

python misc/scripts/library-coverage/comment-pr.py "$GITHUB_REPOSITORY" "$RUN_ID"