issues Search Results · language:Dune language:Python language:HTML language:CSS language:Java language:JavaScript
Filter by
63.1M results
Problem
execute() (vera/codegen/api.py:837-4253) is now 3,417 lines containing 154 nested host-binding closures, in a file
totalling 4,253 lines — roughly double the size recorded when #421 was filed. ...
runtime-gc
testing
aallan
Problem
apps/mcp/graph-ui/src/lib/graph-utils.js owns a large amount of Graph Studio filtering behavior, but some of the
bucket-building and graph filtering helpers are not protected by focused tests. ...
good first issue
help wanted
level:beginner
testing
type:testing
Abhigyan-Shekhar
Problem
ruff ships in the [dev] extras but nothing runs it — installed-but-unenforced, so findings accumulate silently. Measured
today (2026-06-12, default rule set):
| Scope | Findings |
| --- | --- ...
ci
tooling
Getting Started with GitHub Copilot
img alt= original github octocat src= https://octodex.github.com/images/original.png align= left height= 80px /
👋 Hey there @akshya3p! Welcome to your Skills exercise! ...
github-actions[bot]
Problem: when the siege tyrant unit is given the master sergeant upgrade, the sergeant gains +1 leadership in addition
to +1 weapon skill, attack, and the champion keyword which is incorrect.
Expected: ...
NewRecruitAnon
Problem
apps/mcp/graph-ui/src/lib/api.js contains small but important request helpers with no direct tests. If scope
serialization or fetch error handling regresses, Graph Studio requests can fail in ...
good first issue
help wanted
level:beginner
testing
type:testing
simonjtaylor212Problem
_verify_fn skips all static verification for generic (forall T ) functions — an early return records E520 warnings for
non-trivial contracts and moves on. #555 documents the sharpest consequence ...
enhancement
verification
Summary
Architectural rework (the REWORK.md program) plus the test-quality and CI items that share its surface. These are
structural changes best driven by the ranked proposals in _audit/latest/REWORK.md; ...
type:audit
type:refactor
Aureliolo
Problem
src/waggle/config.py contains custom logic to reuse Codex s configured Waggle DB path. The helper handles several edge
cases silently: missing config file, invalid TOML, blank env values, and ...
good first issue
help wanted
level:beginner
onboarding
testing
type:testing
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.
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.