build(deps-dev): bump @typescript-eslint/eslint-plugin from 8.11.0 to 8.13.0 #428
Workflow file for this run
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Add Pull Request Report to PR when closed | |
| on: | |
| pull_request: | |
| # only run when PR is closed | |
| types: [closed] | |
| # token needs some additional permissions to be able to add a comment to the PR | |
| # and read all PR data | |
| # permissions can vary depending on the metrics you want to use and org settings | |
| permissions: | |
| contents: read | |
| checks: read | |
| pull-requests: write | |
| repository-projects: read | |
| actions: read | |
| jobs: | |
| add-pr-report-as-comment: | |
| runs-on: ubuntu-latest | |
| name: Generate report and add it as comment to the PR | |
| steps: | |
| - name: Checkout | |
| uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v3.5.2 | |
| - name: Generate PR report | |
| id: generate_report | |
| uses: philips-software/pull-request-report-action@main | |
| env: | |
| GITHUB_TOKEN: ${{ github.token }} |