Skip to content

fix dropping the wrong argument for List.map when it captures #2241

fix dropping the wrong argument for List.map when it captures

fix dropping the wrong argument for List.map when it captures #2241

Triggered via pull request November 27, 2023 22:02
Status Success
Total duration 13m 9s
Artifacts

windows_release_build.yml

on: pull_request
windows-release-build
12m 54s
windows-release-build
Fit to window
Zoom out
Zoom in