Skip to content

Add desugaring of HL types to resolve ParenType issues #1797

Add desugaring of HL types to resolve ParenType issues

Add desugaring of HL types to resolve ParenType issues #1797

Triggered via pull request October 18, 2024 17:30
Status Success
Total duration 11m 52s
Artifacts

build.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in