Skip to content

Merge pull request #5276 from unisonweb/type-name-resolution-change #2302

Merge pull request #5276 from unisonweb/type-name-resolution-change

Merge pull request #5276 from unisonweb/type-name-resolution-change #2302

Triggered via push August 29, 2024 13:26
Status Success
Total duration 19m 3s
Artifacts
Matrix: nix
Fit to window
Zoom out
Zoom in