Skip to content

feat: add optional PR comment posting to coverage workflow#37

Merged
alexmohr merged 1 commit into
mainfrom
feat/coverage-pr-comment
May 19, 2026
Merged

feat: add optional PR comment posting to coverage workflow#37
alexmohr merged 1 commit into
mainfrom
feat/coverage-pr-comment

Conversation

@alexmohr
Copy link
Copy Markdown
Contributor

@alexmohr alexmohr commented May 5, 2026

Summary

  • Adds a post-pr-comment boolean input to the reusable coverage.yml workflow (default: false)
  • When enabled, posts or updates a sticky coverage comment on the triggering PR using an HTML marker (<!-- coverage-report -->) to avoid duplicate comments
  • Callers must grant pull-requests: write in their own workflow permissions when opting into this feature

Usage

jobs:
  coverage:
    uses: eclipse-opensovd/cicd-workflows/.github/workflows/coverage.yml@main
    with:
      post-pr-comment: true
    permissions:
      contents: read
      pull-requests: write

Checklist

  • I have tested my changes locally
  • I have added or updated documentation
  • I have linked related issues or discussions
  • I have added or updated tests

Add a post-pr-comment boolean input (default: false) that, when enabled,
posts or updates a sticky coverage comment on the triggering PR.
The comment is identified by an HTML marker so it is updated in-place
on each push rather than accumulating duplicates.

Callers must grant pull-requests: write in their own workflow permissions
when opting into this feature.
@alexmohr alexmohr force-pushed the feat/coverage-pr-comment branch from 7b7ec1c to 6484342 Compare May 5, 2026 20:04
@alexmohr
Copy link
Copy Markdown
Contributor Author

alexmohr commented May 6, 2026

Work integrated into PR #39 (feat/pre-commit-hook-args-config). The coverage.yml changes in this PR are orthogonal and can be re-opened targeting main once #39 merges.

@alexmohr alexmohr closed this May 6, 2026
@alexmohr alexmohr reopened this May 19, 2026
@alexmohr alexmohr marked this pull request as ready for review May 19, 2026 12:57
Copy link
Copy Markdown
Contributor

@theswiftfox theswiftfox left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

lgtm! thx :)

@alexmohr alexmohr merged commit 4116add into main May 19, 2026
4 of 5 checks passed
@alexmohr alexmohr deleted the feat/coverage-pr-comment branch May 19, 2026 13:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants