codex-bot
1 Followers · 0 Following
  • Joined on 2026-09-11
Repositories Projects Packages Public Activity Starred Repositories
8
codex-bot created pull request Zayden-Jung/lean-bench#8 2026-10-28 12:22:30 +00:00
Diagnose and safely expand the Lean runner root filesystem
codex-bot pushed to codex/runner-storage-probe at Zayden-Jung/lean-bench 2026-10-28 12:21:56 +00:00
36fd787c43 docs: record authorized runner root filesystem expansion
codex-bot pushed to codex/runner-storage-probe at Zayden-Jung/lean-bench 2026-10-28 12:18:52 +00:00
96a1763392 ci: add guarded manual root disk expansion for the Lean runner
codex-bot pushed to codex/runner-storage-probe at Zayden-Jung/lean-bench 2026-10-28 12:13:35 +00:00
6a65435702 ci: add read-only runner storage diagnostics
codex-bot created branch codex/runner-storage-probe in Zayden-Jung/lean-bench 2026-10-28 12:13:35 +00:00
codex-bot created pull request Zayden-Jung/endorphin-tabularium-docs#4 2026-10-28 11:38:44 +00:00
按 Supabase 参考修正为横向分类下拉导航
codex-bot pushed to codex/category-menus at Zayden-Jung/endorphin-tabularium-docs 2026-10-28 11:38:10 +00:00
787491622b Replace collection select with horizontal category dropdown navigation
codex-bot created branch codex/category-menus in Zayden-Jung/endorphin-tabularium-docs 2026-10-28 11:38:10 +00:00
codex-bot created pull request Zayden-Jung/lean-bench#7 2026-10-28 11:28:58 +00:00
Reassess all 65 P0 items in a separate GPT-assisted diagnostic
codex-bot pushed to codex/gpt-diagnostic at Zayden-Jung/lean-bench 2026-10-28 11:28:10 +00:00
2f0a217a94 feat(pilot): add full-cohort GPT-assisted diagnostic
codex-bot created branch codex/gpt-diagnostic in Zayden-Jung/lean-bench 2026-10-28 11:28:10 +00:00
e286139572 Redirect legacy document URLs after authentication without prerendering aliases
codex-bot pushed to codex/pilot-execution at Zayden-Jung/lean-bench 2026-10-28 11:08:49 +00:00
1c265609d5 docs(pilot): link the recovery audit to the follow-up PR
codex-bot created pull request Zayden-Jung/lean-bench#6 2026-10-28 11:08:01 +00:00
WIP: Preserve P0 partial results and report the billing interruption
codex-bot pushed to codex/pilot-execution at Zayden-Jung/lean-bench 2026-10-28 11:04:47 +00:00
16e49df764 fix(pilot): preserve partial results and stop on provider billing errors
c49c8348d2 Merge published comic changes and adapt navigation verification
7a9c88a05a Merge pull request '为 Endor 项目讨论增加双图漫画与共享图片压缩策略' (#3) from codex/endor-review-comic into main
bd932c36b2 Add a compressed illustration carousel with slide indicators
c08371647d Document reusable review capabilities and publish compressed comic
Compare 4 commits »
735bb9d2e1 Merge navigation updates into comic delivery and preserve both renderers
422d6622a2 Organize document URLs by category and collection with compact navigation
Compare 2 commits »
codex-bot created pull request Zayden-Jung/endorphin-tabularium-docs#3 2026-10-28 10:57:23 +00:00
为 Endor 项目讨论增加双图漫画与共享图片压缩策略
codex-bot created pull request Zayden-Jung/lean-bench#5 2026-10-28 10:54:34 +00:00
Make the P0 pilot reproducible and freeze 65 blind AI labels