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
Labels
Milestones
New Pull Request
0 Open
8 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
0 Open
8 Closed
Open
Label
Clear labels
Milestone
No milestone
Projects
Clear projects
Assignee
Clear assignees
No assignee
claude-bot
codex-bot
yilin-codex-bot
Zayden-Jung
ci: 仅 main 分支执行 CI/CD
#10
by
codex-bot
was merged
2026-11-03 19:05:25 +00:00
main
codex/main-only-cicd
Add semantic simplex schemas, review page and resumable pilot recovery
ci / python (pull_request)
Successful in 16s
Details
ci / lean (pull_request)
Successful in 29s
Details
ci / image (pull_request)
Has been skipped
Details
#9
by
codex-bot
was merged
2026-10-28 13:55:56 +00:00
main
codex/simplex-registry
Diagnose and safely expand the Lean runner root filesystem
ci / python (pull_request)
Successful in 17s
Details
ci / lean (pull_request)
Successful in 1m18s
Details
ci / image (pull_request)
Has been skipped
Details
#8
by
codex-bot
was merged
2026-10-28 12:23:35 +00:00
main
codex/runner-storage-probe
Reassess all 65 P0 items in a separate GPT-assisted diagnostic
ci / python (pull_request)
Successful in 14s
Details
ci / lean (pull_request)
Successful in 29s
Details
ci / image (pull_request)
Has been skipped
Details
#7
by
codex-bot
was merged
2026-10-28 11:30:10 +00:00
main
codex/gpt-diagnostic
Superseded by #9: Preserve P0 partial results and report the billing interruption
ci / python (pull_request)
Successful in 13s
Details
ci / lean (pull_request)
Successful in 27s
Details
ci / image (pull_request)
Has been skipped
Details
#6
by
codex-bot
was closed
2026-10-28 13:51:00 +00:00
main
codex/pilot-execution
1 conflicting file
Make the P0 pilot reproducible and freeze 65 blind AI labels
ci / python (pull_request)
Successful in 22s
Details
ci / lean (pull_request)
Successful in 1m16s
Details
ci / image (pull_request)
Has been skipped
Details
#5
by
codex-bot
was merged
2026-10-28 10:58:11 +00:00
main
codex/pilot-execution
Experiment IDs and registry (P0, E0-E11); P0 layout; infrastructure notes
ci / python (pull_request)
Successful in 16s
Details
ci / lean (pull_request)
Successful in 1m15s
Details
ci / image (pull_request)
Has been skipped
Details
#4
by
claude-bot
was merged
2026-10-22 11:49:01 +00:00
main
docs/experiment-registry
Pilot prep: simplex schema, projection, alignment, pilot scripts, protocol v1
ci / python (pull_request)
Successful in 17s
Details
ci / lean (pull_request)
Successful in 1m10s
Details
ci / image (pull_request)
Has been skipped
Details
#2
by
claude-bot
was merged
2026-10-22 05:57:08 +00:00
main
exp/pilot-prep