issues Search Results · language:Edge language:Python language:PHP language:JavaScript language:JavaScript linked:pr
Filter by
4.5M results
Addresses ruff and markdownlint errors across codebase and docs to make CI checks green.
Problem
The repository has shipped several user-facing improvements since v0.1.0, including scaffold presets, Markdown catalog
output, validation reports, CSV input, coverage inventory, and learning objectives. ...
Problem
When the command palette is opened with the o shortcut while Japanese IME input is active, the Enter key used to confirm
IME text can also activate the selected palette result.
Expected
IME ...
Several recent GitHub Actions runs have become stuck in Playwright browser installation, for example functional and JS
jobs on June 1, 2026 that remained in progress at pnpm exec playwright install .... ...
Problem
Resources can track skills, subject, level, course, and exam board, but they cannot state teacher-facing learning
objectives. That limits usefulness for lesson plans, activity sheets, study guides, ...
When admin adds negative exceptional time, today s exceptions section shows it to be 0 minutes. I don t know it s just a
visual glitch or exceptional negative time does not work properly.
bug
Problem
CHANGELOG.md had drifted from the actual releases (sections only up to 0.3.0 while tags reached v1.0.1, plus several
misplaced entries). Keeping a hand-maintained changelog in sync with GitHub ...
If none is available, alternativly break down bigger steps to modest ones without implementing anything, just changing
the JAVA_PORT_ROADMAP.md
autorepeat: 7
jules
Thoroughly verified pricing, context window sizes, parameter sizes, and hardware configurations for June 2026.
Problem
The command palette can be closed with Esc and Ctrl+[, but Vim-style minibuffer workflows commonly support Ctrl+G as
another cancel key.
Expected
Add Ctrl+G inside the command palette as a close/cancel ...

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.