Skip to content
Check PR title for commit convention

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

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 #22407

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

pr-title.yml

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