mirror of
https://github.com/github/codeql.git
synced 2025-12-16 08:43:11 +01:00
6e1d9752d2
Bumps [actions/checkout](https://github.com/actions/checkout) from 4 to 5. - [Release notes](https://github.com/actions/checkout/releases) - [Changelog](https://github.com/actions/checkout/blob/main/CHANGELOG.md) - [Commits](https://github.com/actions/checkout/compare/v4...v5) --- updated-dependencies: - dependency-name: actions/checkout dependency-version: '5' dependency-type: direct:production update-type: version-update:semver-major ... Signed-off-by: dependabot[bot] <support@github.com>
39 lines
1.0 KiB
YAML
39 lines
1.0 KiB
YAML
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"
|