Skip to content

Code coverage#529

Open
kvpanch wants to merge 17 commits into
mainfrom
kvpanch/code_coverage
Open

Code coverage#529
kvpanch wants to merge 17 commits into
mainfrom
kvpanch/code_coverage

Conversation

@kvpanch

@kvpanch kvpanch commented May 26, 2026

Copy link
Copy Markdown
Contributor

Adds make coverage (cargo-llvm-cov over the full workspace including revive-llvm-builder), a new "Code coverage" book chapter that links to the locally-collected report with the commit + UTC timestamp stamped in, and a PR workflow that publishes the report to gh-pages when the measure code coverage label is applied.

Adds `make coverage` (cargo-llvm-cov over the full workspace including
revive-llvm-builder), a new "Code coverage" book chapter that links to the
locally-collected report with the commit + UTC timestamp stamped in, and a
PR workflow that publishes the report to gh-pages when the
`measure code coverage` label is applied.
@kvpanch kvpanch requested review from elle-j and xermicus May 26, 2026 19:22
@kvpanch kvpanch added the measure code coverage measure code coverage for the PR label May 26, 2026

@xermicus xermicus left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

Quick first round

Comment thread Makefile Outdated
MDBOOK_VERSION = 0.5.1

install-mdbook:
@mdbook --version 2>/dev/null | grep -qx "mdbook v$(MDBOOK_VERSION)" \

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

Is this necessary? The cargo install is essentially a no-op if the installed version is already present

Copy link
Copy Markdown
Contributor Author

Choose a reason for hiding this comment

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

will drop it.

Comment thread Makefile Outdated
Comment thread revive-differential-tests

@xermicus xermicus left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

Would be nice to get these fixes in. @kvpanch can you please resolve the merge conflicts?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

measure code coverage measure code coverage for the PR

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants