issues Search Results · language:Dune language:Python language:JavaScript language:HTML language:JavaScript language:HTML
Filter by
47.3M results
Summary
Propagate the shared AGENTS.md policy requiring Codex review comments to be monitored and resolved before PR merge.
Requested Outcome
- Require downstream repo PRs to monitor Codex comments ...
documentation
governance
Detected at: 2026-06-13T02:00:15.612Z
OpenAI Codex GitHub Releases
- Title: openai/codex 0.140.0-alpha.17
- Version: rust-v0.140.0-alpha.17
- Previous: rust-v0.140.0-alpha.16
- Tags: coding-agent, ...
主要的待办项:
教师端部分
- 规则说明修改(最后一栏“课程结束后才到”的奖励应该和“下课前最后3分钟入场”一样,就修改表格文字说明即可,code是正确的)。
- 取消「玩家·队伍」页面玩家信息中的出勤异常按钮。
- 取消工具页面中的请假名单面板。
- 签到页面中缺席名单下的「请假」栏改为「签到状态」,标记是「请假」、「缺勤」(「请假/取消」的按钮保持不变)。在没有点请假按钮也没有签到的情况下,标记为「缺勤」即可,即使被移入出席名单中,也是标记为「缺勤」。 ...
Run: https://github.com/chennes/IntegrationTests/actions/runs/27452813897 Exit code: 3
@-
area:desktop
area:ui
bug
needs-info
Hi @KBhandari11 🤗
Niels here from the open-source team at Hugging Face. I discovered your work through the HF Paper Pages and was very
interested in the Evoflux results! The paper page (https://huggingface.co/papers/2606.12674) ...
ERROR: [Errno 13] error while attempting to bind on address ( 0.0.0.0 , 8082): [winerror 10013] an attempt was made to access a socket in a way forbidden by its access permissions
- i cant able to ...
Documentation Type
Missing information
Documentation Location
https://code.claude.com/docs/en/skills
Section/Topic
Where skills live / personal skills
Current Documentation
The skills doc describes ...
area:skills
documentation
enhancement
:robot: AI text below :robot:
All spot-checks confirm the agents findings. Here s the consolidated review.
Plumbum code review
Six parallel reviewers covered the whole package (~14.4k lines); I spot-checked ...
kjjoj
What happened
ghuhn
Environment
- Mode: unknown
- Build: dev
- FPS: n/a
- Tracking: n/a
Snapshots
- snapshot-2026-06-13T01-59-07-128Z-body.jpg
- snapshot-2026-06-13T01-59-07-128Z-hand.jpg ...
debug-report
pi-fix

Learn how you can use GitHub Issues to plan and track your work.
Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub IssuesProTip! Restrict your search to the title by using the in:title qualifier.