Skip to content

fix: simplify coverage summary generation, apply action lint - #44

Draft
peinjoh wants to merge 1 commit into
mainfrom
fix/refactor-rust-coverage
Draft

peinjoh wants to merge 1 commit into
mainfrom
fix/refactor-rust-coverage

Conversation

@peinjoh

@peinjoh peinjoh commented Sep 12, 2026

Copy link
Copy Markdown
Contributor

This PR:

  • refactors the coverage report generation from 2 script files + inline script in workflow to one script file

This applies the actionlint lint to simplify the repeated writing to $GITHUB_STEP_SUMMARY.

Copilot AI left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

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

🟡 Changes recommended

The workflow cannot execute the non-executable script, and its second jq invocation receives no JSON input.

Get a fresh assessment by requesting another Copilot review.

Pull request overview

Consolidates Rust coverage summary generation into one script and simplifies workflow output handling.

Changes:

  • Replaces separate summary and per-file scripts with coverage_report.sh.
  • Updates the reusable workflow to write the combined report directly.
File summaries
File Description
scripts/coverage/coverage_summary.sh Removes the standalone summary generator.
scripts/coverage/coverage_per_file.sh Removes the standalone per-file generator.
scripts/coverage/coverage_report.sh Adds combined Markdown report generation.
.github/workflows/rust-coverage.yml Uses the consolidated report script.
Review details
  • Files reviewed: 1/4 changed files
  • Comments generated: 1
  • Review effort level: Balanced

💡 Add a code-review agent skill or configure MCP servers for context-aware, tailored reviews. Learn more in the docs.

./.shared/scripts/coverage/coverage_per_file.sh < /tmp/coverage.json >> $GITHUB_STEP_SUMMARY
echo "" >> $GITHUB_STEP_SUMMARY
echo "</details>" >> $GITHUB_STEP_SUMMARY No newline at end of file
run: ./.shared/scripts/coverage/coverage_report.sh < /tmp/coverage.json >> "$GITHUB_STEP_SUMMARY" No newline at end of file
@peinjoh
peinjoh marked this pull request as draft September 12, 2026 09:45
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