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

ubuntu-20.04

succeeded Aug 29, 2024 in 5m 33s