Skip to content
Whitespace

Fix #7236: context instead of telescope for lambda-bound pattern vars #11

Sign in to view logs

Fix #7236: context instead of telescope for lambda-bound pattern vars

Fix #7236: context instead of telescope for lambda-bound pattern vars #11

check

check
succeeded Apr 28, 2024 in 6s