Zayden-Jung/lean-agent
2
1
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
5 Commits 2 Branches 0 Tags
main
Commit Graph

5 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Zayden-Jung c43133e733 Merge pull request 'ci: 仅 main 分支执行 CI/CD' (#1) from codex/main-only-cicd into main
ci / test (push) Successful in 46s
Details 
Reviewed-on: #1
 2026-11-03 19:05:19 +00:00
codex-bot 23f1925cc0 ci: restrict workflows to main branch 2026-10-30 03:44:01 +08:00
claude-bot a3021d9c39 docs: note Lean 4.35.0 as the verified toolchain
ci / test (push) Successful in 1m15s
Details 
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01FYqwNMyPUHeTbFWg83GQq6
 2026-10-21 11:33:07 +00:00
claude-bot 9e983edaa7 ci: test on the ubuntu24.04-x64-lean4.35 runner; move to Lean 4.35.0
ci / test (push) Successful in 9s
Details 
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01FYqwNMyPUHeTbFWg83GQq6
 2026-10-21 10:58:41 +00:00
codex-bot a54bd57fbd Implement provider-neutral Lean reasoning and evaluation foundation 2026-09-15 19:15:05 +08:00