Skip to content

fix: Elan installation in PowerShell ConstrainedLanguage mode - #822

Merged
mhuisi merged 1 commit into
leanprover:masterfrom
mhuisi:push-uxnyrlsvxwnq
Nov 11, 2026
Merged

mhuisi merged 1 commit into
leanprover:masterfrom
mhuisi:push-uxnyrlsvxwnq

Conversation

@mhuisi

@mhuisi mhuisi commented Nov 11, 2026 •

Copy link
Copy Markdown
Collaborator

Subsumes #788.

@mhuisi mhuisi changed the title fix: install Elan in PowerShell ConstrainedLanguage mode fix: Elan installation in PowerShell ConstrainedLanguage mode Nov 11, 2026
@mhuisi
mhuisi merged commit 363e8cc into leanprover:master Nov 11, 2026
15 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant