Skip to content
Check PR body for changelog convention

fix: let private names be unresolved in the pretty printer, fix shadowing bug when pp.universes is true #14623

Sign in to view logs

fix: let private names be unresolved in the pretty printer, fix shadowing bug when pp.universes is true

fix: let private names be unresolved in the pretty printer, fix shadowing bug when pp.universes is true #14623

Triggered via pull request June 3, 2025 23:37
@kmillkmill
edited #8617
kmill:kmill_pp_const_fixes
Status Success
Total duration 10s
Artifacts –

pr-body.yml

on: pull_request
check-pr-body
2s
check-pr-body
Fit to window
Zoom out
Zoom in