Commit Graph

Select branches

Hide Pull Requests

codex/main-only-cicd

main

#1

Mono Color

• c43133e733 Merge pull request 'ci: 仅 main 分支执行 CI/CD' (#1) from codex/main-only-cicd into main main Zayden-Jung 2026-11-03 19:05:19 +00:00
• 23f1925cc0 ci: restrict workflows to main branch codex/main-only-cicd codex-bot 2026-10-30 03:44:01 +08:00
• a3021d9c39 docs: note Lean 4.35.0 as the verified toolchain claude-bot 2026-10-21 11:33:07 +00:00
• 9e983edaa7 ci: test on the ubuntu24.04-x64-lean4.35 runner; move to Lean 4.35.0 claude-bot 2026-10-21 10:58:41 +00:00
• a54bd57fbd Implement provider-neutral Lean reasoning and evaluation foundation codex-bot 2026-09-15 19:15:05 +08:00