issues Search Results · language:Dune language:Python language:Python language:Python language:Java language:JavaScript
Filter by
37.1M results
Target
- docs/evaluation/agent-gated-rfp-eval-loop.md
Problem
The agent-gated RFP eval loop companion doc still says generic private real-eval for claim-bearing loops. ADR 0079 now
names the current ...
hskim-solv
Start note — 2026-06-03 19:50 UTC
Lane: Lane 24 — Phase 2 closure matrix widening
Bounded objective for this session:
- add one standalone Zig proof for scripts/zigux/genksyms.zig around positional-argument ...
adybag14-cyber
artifacts/contract_1744.md
backlog
pltrinh1122
Session start: 2026-06-03 19:44 UTC
Lane: Lane 23 -- Phase 2 genksyms wrapper lane
Bounded objective: add a current-master-safe Zig tests-root replay proving genksyms wrapper version side effects are ...
Getting Started with GitHub Copilot
img alt= original github octocat src= https://octodex.github.com/images/original.png align= left height= 80px /
👋 Hey there @abnslim-sys! Welcome to your Skills exercise! ...
github-actions[bot]
commit from late last year in a bulk replacement operation this file got emptied accidentally.
Bugs
btopro
[ ] Criar query SQL que busca os 20 jogadores com mais vitórias no banco de dados.
[ ] Criar rota pública para expor esses dados.
[ ] Criar aba Ranking no Frontend e desenhar uma tabela bonita com as ...
MarceloCAF28
Context / Problem
A TODO marker in src/widget.py needs resolving. Original comment (current location line 5):
# TODO: validate that a and b are numbers before adding
Decide whether to act on it or ...
auto:eligible
auto:seeded
priority:P3
size:S
status:ready
type:chore
sh1ningwang
Start note
- Date: 2026-06-03 19:44 UTC
- Lane: Lane 21 -- Phase 2 cross-arch build matrix
- Goal: add one bounded Zig-facing contract for the live Phase 2 cross policy route and fixture alignment ...
[ ] Criar rota para receber os resultados finais de uma partida (kills, deaths, won).
[ ] Somar os novos dados aos dados antigos do jogador no banco de dados.
[ ] Recalcular automaticamente a taxa de ...
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.