Skip to content

fix: app elaborator infotrees should have context when there is ambiguity #8467

fix: app elaborator infotrees should have context when there is ambiguity

fix: app elaborator infotrees should have context when there is ambiguity #8467

Triggered via pull request May 21, 2026 19:45
@kmillkmill
opened #13815
Status Success
Total duration 9s
Artifacts

check-stdlib-flags.yml

on: pull_request_target
check-stdlib-flags
5s
check-stdlib-flags
Fit to window
Zoom out
Zoom in