Skip to content

[fix maintenance] Fix a typo preventing script from running#1452

Closed
Alex-Zughaid wants to merge 2 commits into
leanprover-community:masterfrom
Alex-Zughaid:github-reviewer-bot
Closed

[fix maintenance] Fix a typo preventing script from running#1452
Alex-Zughaid wants to merge 2 commits into
leanprover-community:masterfrom
Alex-Zughaid:github-reviewer-bot

fix typo

fa6364a
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
Add topic label
succeeded Jul 20, 2026 in 1m 39s