issues Search Results · language:Dune language:Python language:Java language:Java language:Java language:Java
Filter by
35.9M results
Observed
During ADR-0.0.67 closeout ceremony, the EXECUTE→ATTESTATION transition was blocked (exit 3) citing ADR-0.0.41 s OBPI
briefs, an unrelated ADR:
EXECUTE - ATTESTATION transition blocked: proof ...
defect
runtime
tech-debt
ahuimanu
Creatures (especially statblocks i.e. DM s characters) often have their AC explicitly written, and it s nearly always
different than 10. We need to allow for that.
I ll fix that after some PR s get merged ...
sarcia3
Problem
adm01_adjacency.npz is committed into the repo at nigeria_polio_data/ (plus a machine-specific manifest.py hardcoded to
/home/jbloedow/...) as a stopgap from commit e9d66c3. It belongs in the ...
skroiss-idm
Problem Statement
During multiplayer matches, users may not know whether gameplay interruptions are caused by network instability,
opponent disconnects, or server issues.
Proposed Solution
Add a real-time ...
GSSoC
Vidheendu
Feature Request: Executive Risk Governance Platform (Phase 14)
Description
Implement an Executive Risk Governance Platform for enterprise risk management, providing:
- Executive dashboards with KPIs ...
triage
saidai-bhuvanesh
Session start: 2026-06-08 18:10 UTC
Lane: Lane 04 -- Differential-test root and harness scaffolding
Bounded objective: update the existing zigux/tests/phase3_ida_alloc_dump_build.zig wrapper so the Phase ...
adybag14-cyber
Oliverking777Summary
While writing a proof as a new user, the most time-consuming friction was figuring out how many times to unfold a
definition with expand. expand f unfolds one layer, and to unfold deeper you must ...
jsiek
Summary
As a new user, the first thing I tried after installing was python3 deduce.py --help. Instead of usage text I got:
$ python3 deduce.py --help
--help was not found!
(exit code 0). The same thing ...
priority:high
Stale URI Report — motown-soul-classics
Automated check found 1 issue(s) in `motown-soul-classics.json`.
19 additional `wrong_track` flags were reviewed and dismissed as false positives (Spotify oEmbed ...
mholzi
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.