Add warning if potentially-scrapable examples are skipped due to dev-dependencies#11503

Merged

bors merged 2 commits intorust-lang:masterfrom willcrichton:scrape-dev-deps-diagnostic

Dec 23, 2022

+29-10

Commits on Dec 20, 2022

Add warning if potentially-scrapable examples are skipped due to dev-dependencies
willcrichton
committed

Commits on Dec 22, 2022

Simplify code and output of skipped_examples warning
willcrichton
committed