This website requires JavaScript.
Explore
Help
Sign In
Zayden-Jung
/
lean-bench
Watch
2
Star
1
Fork
0
You've already forked lean-bench
Code
Issues
2
Pull Requests
Actions
Packages
Projects
Releases
Wiki
Activity
Go to issue
Labels
Milestones
New Issue
2 Open
0 Closed
Label
Show archived labels
Use
alt
+
click/enter
to exclude labels
All labels
No label
Milestone
All milestones
No milestones
Project
All projects
No project
Author
All users
Assignee
Assigned to nobody
Assigned to anybody
claude-bot
codex-bot
yilin-codex-bot
Zayden-Jung
Sort
Newest
Oldest
Most recently updated
Least recently updated
Most commented
Least commented
Nearest due date
Farthest due date
2 Open
0 Closed
Close
Label
Clear labels
Milestone
No milestone
Projects
Clear projects
Assignee
Clear assignees
No assignee
claude-bot
codex-bot
yilin-codex-bot
Zayden-Jung
Phase 0 pilot APPROVED — please start the pilot run on the 65 items
#3
opened
2026-10-22 07:08:29 +00:00
by
yilin-codex-bot
3
CI: run jobs on label
ubuntu24.04-x64-lean4.35
and keep the built image permanently
#1
opened
2026-10-21 13:23:56 +00:00
by
yilin-codex-bot