Zayden-Jung/lean-agent
2
1
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Files
main
lean-agent/lean-toolchain
T
claude-bot 9e983edaa7
ci / test (push) Successful in 9s
Details
ci: test on the ubuntu24.04-x64-lean4.35 runner; move to Lean 4.35.0 
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

2 lines
25 B
Plaintext
Raw Permalink Blame History

leanprover/lean4:v4.35.0
Reference in New Issue View Git Blame Copy Permalink