issues Search Results · language:Edge language:Python linked:pr language:Python language:JavaScript language:CSS linked:pr
Filter by
4.5M results
Symptom
Any prove PR for a goal whose statement has a named hypothesis binder following an implicit binder fails gate-a —
regardless of the proof s correctness.
First hit in the wild: not-prime-pow-four-add-four ...
binto-labs
This issue is created automatically to track contribution activity.
updation
PravEEnhub31
Context
The state ownership preflight now resolves must-preserve Rust cutover stores, but the next cutover-safety step needs a
deterministic backup manifest and copy plan before freeze/final-backup tooling. ...
rajeshgoli
Summary
The documented add-account flow is broken once more than the initial set of accounts exists. cus add name prints cus
init --force cus poll as the registration step, but that sequence never actually ...
rayistern
The v0.17.0 publish run (https://github.com/moda-labs/modastack/actions/runs/27393799962) emitted Node.js 20 deprecation
annotations. GitHub forces all JavaScript actions to run on Node 24 by default starting ...
status:in-review
underminedsk
@claude - Please create a docs PR for the combined User Attributes Display Name work from:
- mattermost/mattermost#36247 — CPA Display Name Support
- mattermost/mattermost#36363 — Add Display Name ...
Combs7th
Parent
#378
What to build
A small, reusable EffectPixels building block that fills a progress bar over time — the visual basis for the reload bar.
No existing effect does this: basic s ProgressEffect ...
ready-for-agent
aaronsilinskas
Invalid API request payloads that fail Zod validation currently flow into the generic error handler path instead of
returning a client-error response. These are request validation errors and should return ...
KaisAbiyyi
Parent
#378
What to build
When the player takes a registered hit, play a shared, unmistakable hit moment on the GLOBAL.MAIN scope — in addition to
the existing PERSONAL hitpoint-bar update.
TagHitRule ...
ready-for-agent
Parent
#378
What to build
Extract the existing Button-A firing out of TagPlayingRule into a new TagShootingRule — an InPhaseRule active during the
Playing phase — and give every shot felt feedback on ...
ready-for-agent
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.