Skip to content

is_doc_hidden optimized to hook in case of non-incremental build - #147511

Open
azhogin wants to merge 1 commit into
rust-lang:mainfrom
azhogin:azhogin/is_doc_hidden_opt
Open

azhogin wants to merge 1 commit into
rust-lang:mainfrom
azhogin:azhogin/is_doc_hidden_opt

Commits

Commits on May 11, 2026