Repository navigation
Measure the coverage in CI and show it on the run and on the pull request - #121
Merged
Merged
Conversation
…ull request - The coverage was measured o 8000 nly by quality-check.sh on a local machine - Add a Coverage job to ci.yml that fetches the test data, measures the workspace with cargo llvm-cov, and puts the table of files in the job summary - For a pull request from this repository, put the same table in a comment on it, found by its first line and updated on each push rather than added again; only this job is given pull-requests: write Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
…t stale - Tell that the Coverage job of CI shows the table of files in the summary of the run and in a comment on the pull request (en/ja) - Drop the coverage of each file from the Coverage Notes, as the numbers dated from March 2026, and point to the table of the job for them; keep the account of the lines that are hard to cover Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
CoverageFor 3a85e09. |
This file contains hidden or 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
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
🤖 Generated with Claude Code