fix: populate local instances during pretty printing #14121
Triggered via pull request
October 18, 2025 06:26
leanprover-community-bot
leanprover-community-bot
labeled
#10832
Status
Skipped
Total duration
1s
Artifacts
–