Skip to content

dummy commit to try comments on PR #20

dummy commit to try comments on PR

dummy commit to try comments on PR #20

Workflow file for this run

name: Report test coverage on PR
on:
pull_request:
branches: [ "main" ]
jobs:
comment-test-coverage:
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v4
- name: Install uv
uses: astral-sh/setup-uv@v5
- name: Test
id: test
run: |
echo "coverage<<EOF" >> $GITHUB_OUTPUT
make test-gha >> $GITHUB_OUTPUT
echo "EOF" >> $GITHUB_OUTPUT
- uses: actions/github-script@v7
env:
INPUT_COVERAGE: "${{ steps.test.output }}"
with:
github-token: ${{secrets.GHA_PRS}}
script: |
github.rest.issues.createComment({
issue_number: context.issue.number,
owner: context.repo.owner,
repo: context.repo.repo,
body: core.getInput('coverage')
})