Skip to content
Lint the sources

[ elab ] Implement resugaring primitive for elaborator scripts #6881

Sign in to view logs

[ elab ] Implement resugaring primitive for elaborator scripts

[ elab ] Implement resugaring primitive for elaborator scripts #6881

Triggered via pull request March 10, 2025 15:31
@buzdenbuzden
opened #3508
buzden:pretty-ttimp
Status Success
Total duration 12s
Artifacts –

ci-lint.yml

on: pull_request
build
4s
build
Fit to window
Zoom out
Zoom in