Skip to content

Fix a variable capture during pattern desugaring #871

Fix a variable capture during pattern desugaring

Fix a variable capture during pattern desugaring #871

Triggered via pull request January 30, 2025 22:37
Status Success
Total duration 13s
Artifacts

check-contributor.yaml

on: pull_request
check-contributor
5s
check-contributor
Fit to window
Zoom out
Zoom in