Skip to content

Blanket: terminal output distinguishes annotated functions#2267

Merged
bors-ferrocene[bot] merged 1 commit intomainfrom
jyn/annotated-coverage
Apr 3, 2026
Merged

Blanket: terminal output distinguishes annotated functions#2267
bors-ferrocene[bot] merged 1 commit intomainfrom
jyn/annotated-coverage

Conversation

@jyn514
Copy link
Copy Markdown
Contributor

@jyn514 jyn514 commented Apr 3, 2026

Before, this was possible to distinguish in the generated HTML doc, but hard to figure out from CI logs.

I verified locally that running x test --coverage=library shows the same output for fully/partially/untested in the terminal as shown in the HTML.

Before, this was possible to distinguish in the generated HTML doc, but
hard to figure out from CI logs.
@Hoverbear
Copy link
Copy Markdown
Member

bors merge

bors-ferrocene Bot added a commit that referenced this pull request Apr 3, 2026
2265: blanket: Report all unused annotations at once r=Hoverbear a=jyn514

Cherry-picked from #2180.

2266: Fix `-C metadata` documentation r=Hoverbear a=jyn514

Fixes #8.

Our docs: https://public-docs.ferrocene.dev/main/user-manual/rustc/cli.html#um_rustc_C_metadata
Upstream's docs: https://doc.rust-lang.org/rustc/codegen-options/index.html#metadata

2267: Blanket: terminal output distinguishes annotated functions r=Hoverbear a=jyn514

Before, this was possible to distinguish in the generated HTML doc, but hard to figure out from CI logs.

I verified locally that running `x test --coverage=library` shows the same output for fully/partially/untested in the terminal as shown in the HTML.

Co-authored-by: Jynn Nelson <[email protected]>
@bors-ferrocene
Copy link
Copy Markdown
Contributor

bors-ferrocene Bot commented Apr 3, 2026

Build failed (retrying...):

  • full

@bors-ferrocene
Copy link
Copy Markdown
Contributor

bors-ferrocene Bot commented Apr 3, 2026

Build succeeded:

@bors-ferrocene bors-ferrocene Bot merged commit 6bd84f8 into main Apr 3, 2026
3 of 4 checks passed
@bors-ferrocene bors-ferrocene Bot deleted the jyn/annotated-coverage branch April 3, 2026 21:38
@github-actions github-actions Bot added backport:maybe PR candidate for backport merged-in:1.96 labels Apr 3, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

backport:maybe PR candidate for backport merged-in:1.96

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants