Skip to content

-Zrustdoc-scrape-example must fail with bad build script#11694

Merged
bors merged 2 commits intorust-lang:masterfrom
weihanglo:issue-11623
Feb 9, 2023
Merged

-Zrustdoc-scrape-example must fail with bad build script#11694
bors merged 2 commits intorust-lang:masterfrom
weihanglo:issue-11623

Commits

Commits on Feb 9, 2023