Skip to content

feat: warn on transitive deprecations - #14422

Open
wkrozowski wants to merge 8 commits into
leanprover:masterfrom
wkrozowski:wojciech/transitiveDeprecations
Open

feat: warn on transitive deprecations#14422
wkrozowski wants to merge 8 commits into
leanprover:masterfrom
wkrozowski:wojciech/transitiveDeprecations

chore: add a disable message

630fdf9
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
check-pr-body
succeeded Jul 22, 2026 in 4s