Zayden-Jung/lean-bench
2
1
Fork 0
Code Issues 2 Pull Requests Actions Packages Projects Releases Wiki Activity
46 Commits 8 Branches 0 Tags
main
Commit Graph

2 Commits

Author SHA1 Message Date
codex-bot 4eee78be09 docs(schema): track the 65-item schema review page
ci / python (pull_request) Successful in 16s
Details
ci / lean (pull_request) Successful in 29s
Details
ci / image (pull_request) Has been skipped
Details
2026-10-28 21:42:45 +08:00
codex-bot 29fe3e1aa5 feat(schema): persist and instantiate scoped multi-role relation schemas
ci / python (pull_request) Successful in 17s
Details
ci / lean (pull_request) Successful in 1m6s
Details
ci / image (pull_request) Has been skipped
Details
2026-10-28 21:26:55 +08:00