Skip to content

Add TCAppL and TCAppR typechecking stack frames, and remove TCBind{L,R} #2698

Add TCAppL and TCAppR typechecking stack frames, and remove TCBind{L,R}

Add TCAppL and TCAppR typechecking stack frames, and remove TCBind{L,R} #2698

Triggered via pull request December 13, 2024 18:59
Status Success
Total duration 12s
Artifacts

check_todos.yml

on: pull_request
Enforce issue references
2s
Enforce issue references
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Enforce issue references
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636