Repository navigation

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

Commits on Nov 9, 2026
- ci: simplify Lean upgrades and tag tested releases
  sorrachai
  committed
  78c2796
- ci: notify when stable Lean dependencies are ready
  sorrachai
  committed
  fa858eb
Commits on Nov 10, 2026
- ci: open tested Lean upgrade PRs and report failures
  sorrachai
  committed
  8cd8110