Skip to content
Check for modules that should use `prelude`

fix: out of scope let-variable can appear in fun binder type of metav… #5954

Sign in to view logs

fix: out of scope let-variable can appear in fun binder type of metav…

fix: out of scope let-variable can appear in fun binder type of metav… #5954

Triggered via pull request November 7, 2024 01:32
@JovanGerbJovanGerb
synchronize #5948
JovanGerb:decl_has_free_variables
Status Success
Total duration 11s
Billable time 1m
Artifacts –

check-prelude.yml

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