Skip to content

ci: automate stable Lean upgrades and tested releases - #28

Open
sorrachai wants to merge 3 commits into
mainfrom
codex/simplify-lean-maintenance
Open

ci: automate stable Lean upgrades and tested releases#28
sorrachai wants to merge 3 commits into
mainfrom
codex/simplify-lean-maintenance

ci: open tested Lean upgrade PRs and report failures

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

Annotations

1 notice
Lint style
succeeded Nov 10, 2026 in 5s