Skip to content

builder: only pass scrape-examples for html builds - #3438

Merged
syphar merged 1 commit into
rust-lang:mainfrom
syphar:fix-json
Aug 11, 2026
Merged

builder: only pass scrape-examples for html builds#3438
syphar merged 1 commit into
rust-lang:mainfrom
syphar:fix-json

Conversation

@syphar

@syphar syphar commented Aug 11, 2026

Copy link
Copy Markdown
Member

This is partially a regression from #3430.

When a crate has examples, and we tried to generate the coverage, we'll get multiple json files. We don't want coverage for examples.

The actual issue seems to be that we added -Zrustdoc-scrape-examples to all builds, but we only want this for the html build.

This is the related sentry error, I'll re-run builds for all the crates where rustdoc json failed in the last days. This will also fix coverage for these.

@syphar syphar self-assigned this Aug 11, 2026
@github-actions github-actions Bot added the S-waiting-on-review Status: This pull request has been implemented and needs to be reviewed label Aug 11, 2026
@syphar
syphar marked this pull request as ready for review August 11, 2026 13:26
@syphar
syphar requested a review from a team as a code owner August 11, 2026 13:26
@syphar

syphar commented Aug 11, 2026

Copy link
Copy Markdown
Member Author

r? @GuillaumeGomez

@syphar syphar closed this Aug 11, 2026
@rustbot

This comment was marked as outdated.

@syphar syphar reopened this Aug 11, 2026
@GuillaumeGomez

Copy link
Copy Markdown
Member

Looks good to me, thanks!

@syphar
syphar merged commit 34a1216 into rust-lang:main Aug 11, 2026
28 checks passed
@syphar
syphar deleted the fix-json branch August 11, 2026 13:29
@github-actions github-actions Bot added S-waiting-on-deploy This PR is ready to be merged, but is waiting for an admin to have time to deploy it and removed S-waiting-on-review Status: This pull request has been implemented and needs to be reviewed labels Aug 11, 2026
@syphar syphar removed the S-waiting-on-deploy This PR is ready to be merged, but is waiting for an admin to have time to deploy it label Aug 11, 2026
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.

3 participants