Make sure to rebuild rustdoc if src/rustdoc-json-types
is changed#142758
Merged
bors merged 1 commit intorust-lang:masterfrom Jun 20, 2025
Merged
Make sure to rebuild rustdoc if `src/rustdoc-json-types` is changed#142758bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom