Skip to content
Build

Fix desugaring rules for semi-naive #638

Sign in to view logs

Fix desugaring rules for semi-naive

Fix desugaring rules for semi-naive #638

Triggered via pull request August 20, 2023 06:41
@yihozhangyihozhang
opened #197
yihozhang:better-seminaive-desugar
Status Success
Total duration 1m 21s
Artifacts –

build.yml

on: pull_request
test
1m 11s
test
nits
48s
nits
Fit to window
Zoom out
Zoom in