Skip to content

Optimize name resolution in desugaring #784

Optimize name resolution in desugaring

Optimize name resolution in desugaring #784

Triggered via pull request October 18, 2024 18:54
Status Success
Total duration 8m 25s
Artifacts

nix.yaml

on: pull_request
Fit to window
Zoom out
Zoom in