Skip to content

Deploy coverage reports to GitHub Pages#4

Merged
pgit merged 3 commits intomasterfrom
copilot/add-coverage-link-to-readme
Feb 14, 2026
Merged

Deploy coverage reports to GitHub Pages#4
pgit merged 3 commits intomasterfrom
copilot/add-coverage-link-to-readme

Conversation

Copy link
Contributor

Copilot AI commented Feb 14, 2026

Coverage reports were generated in CI but only available as downloadable artifacts. They now deploy to GitHub Pages for direct browser viewing.

Changes

README.md

  • Added coverage badge linking to https://pgit.github.io/anyhttp/coverage/

.github/workflows/release.yml (coverage job)

  • Added pages: write and id-token: write permissions
  • Created pages directory structure: pages/coverage/
  • Deploy to GitHub Pages on master branch pushes via actions/upload-pages-artifact@v3 and actions/deploy-pages@v4
  • Artifact upload preserved for all runs (PRs included)

Deployment Behavior

# Deploys only on master branch pushes, not PRs
if: github.ref == 'refs/heads/master' && github.event_name == 'push'

On merge to master, coverage will be viewable at https://pgit.github.io/anyhttp/coverage/

Repository Configuration

Requires GitHub Pages enabled with source set to "GitHub Actions" (Settings → Pages).


💬 We'd love your input! Share your thoughts on Copilot coding agent in our 2 minute survey.

Co-authored-by: pgit <1456612+pgit@users.noreply.github.com>
Copilot AI changed the title [WIP] Add link to coverage in README.md next to CI badge Add coverage report link to README Feb 14, 2026
Copilot AI requested a review from pgit February 14, 2026 18:05
Co-authored-by: pgit <1456612+pgit@users.noreply.github.com>
Copilot AI changed the title Add coverage report link to README Deploy coverage report to GitHub Pages Feb 14, 2026
@pgit pgit marked this pull request as ready for review February 14, 2026 18:14
Copilot AI changed the title Deploy coverage report to GitHub Pages Deploy coverage reports to GitHub Pages Feb 14, 2026
@pgit pgit merged commit 6eb2a13 into master Feb 14, 2026
1 check passed
@pgit pgit deleted the copilot/add-coverage-link-to-readme branch February 15, 2026 23:56
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