Skip to content

Make sure to rebuild rustdoc if src/rustdoc-json-types is changed - #142758

Merged
bors merged 1 commit into
rust-lang:masterfrom
jieyouxu:rustdoc-json-types
Jun 20, 2025
Merged

Make sure to rebuild rustdoc if src/rustdoc-json-types is changed#142758
bors merged 1 commit into
rust-lang:masterfrom
jieyouxu:rustdoc-json-types

Make sure to rebuild rustdoc if `src/rustdoc-json-types` is changed

fca6e81
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs