Zayden-Jung/lean-bench
2
1
Fork 0
Code Issues 2 Pull Requests Actions Packages Projects Releases Wiki Activity

Make the P0 pilot reproducible and freeze 65 blind AI labels #5

Merged
Zayden-Jung merged 1 commits from codex/pilot-execution into main 2026-10-28 10:58:11 +00:00
Conversation 0 Commits 1 Files Changed 9
+826 -50

1 Commits

Author SHA1 Message Date
codex-bot 6875c79c40 fix(pilot): freeze AI labels and enforce auditable execution
ci / python (pull_request) Successful in 22s
Details
ci / lean (pull_request) Successful in 1m16s
Details
ci / image (pull_request) Has been skipped
Details
2026-10-28 18:46:24 +08:00