fix: typo in Meta.unfoldProjInstWhenInstances?
#1709
copyright-header.yml
on: pull_request
check-lean-files
17s
Meta.unfoldProjInstWhenInstances?
#1709