Skip to content

fix: automatic instance names about types with hygienic names should be hygienic #4922

fix: automatic instance names about types with hygienic names should be hygienic

fix: automatic instance names about types with hygienic names should be hygienic #4922

Triggered via pull request September 30, 2024 15:54
@kmillkmill
synchronize #5530
kmill:fix-2044
Status Success
Total duration 13s
Artifacts

check-prelude.yml

on: pull_request
check-prelude
4s
check-prelude
Fit to window
Zoom out
Zoom in