Skip to content

perf: intern parentDecl strings when decoding ModuleRefs from JSON - #16338

Closed
kmehltretter82 wants to merge 1 commit into
leanprover:masterfrom
kmehltretter82:perf-intern-ilean-parentdecl
Closed

perf: intern parentDecl strings when decoding ModuleRefs from JSON#16338
kmehltretter82 wants to merge 1 commit into
leanprover:masterfrom
kmehltretter82:perf-intern-ilean-parentdecl

perf: intern parentDecl strings when decoding ModuleRefs from JSON

e132c73
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
check-stdlib-flags
succeeded Nov 7, 2026 in 4s