This website requires JavaScript.
Explore
Help
Sign In
Zayden-Jung
/
lean-agent
Watch
2
Star
1
Fork
0
You've already forked lean-agent
Code
Issues
Pull Requests
Actions
Packages
Projects
Releases
Wiki
Activity
Labels
Milestones
New Pull Request
0 Open
1 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
1 Closed
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
#1
by
codex-bot
was merged
2026-11-03 19:05:20 +00:00
main
codex/main-only-cicd