issues Search Results · language:Dune language:Python language:TypeScript language:JavaScript language:TypeScript
Filter by
56.3M results
Start note — 2026-06-04 22:49 UTC
Lane: Lane 24 — Phase 2 closure matrix widening
Bounded objective for this session:
- add one standalone Zig proof for the genksyms Phase 2 closure matrix
- cover ...
adybag14-cyber
Summary
185 endpoints document their success response with schema None. For DELETE (131) an empty body is defensible, but 54
GET/POST/PUT operations also return a 2xx with no documented response body, ...
kyle-agent
- Provide fluid moments and PCA diagnostics based on the distribution functions, both for:
- DEISA-DASK and DEISA-Ray
- Provide a method to compute memory size (both in C++ and in DEISA) + Execution ...
gdgirard
Follow-up de #695
Ao fechar a classe matcher determinístico slug→folha ignora o sinal da tx no caminho fee (#695), o /code-review apontou
que o caminho MCC tem a mesma lacuna latente, ainda sem fix.
...
bug
caiocoliveira
Summary
For essentially the entire API, the Responses table lists error codes (400/401/403/404/409/500…) with the schema column
set to None. Only the success (2xx) row links a model. So the reference ...
ID: Listar clases para un Administrativo
Titulo
- Como administrativo quiero visualizar las clases disponibles para conocer las actividades y horarios disponibles
Reglas de negocio
Criterios de ...
Gestión de Clases
Sprint 1
fededobal
ID: Modificar mi información administrativo
Titulo
Como administrativo quiero modificar mi información para mantenerla actualizada.
Reglas de negocio
Criterios de aceptación
Escenario 1: Modificación ...
Gestión de Usuarios
Sprint 1
[radio] Track not playable — audio error (MediaError 4)
- Acervo: homi
- Album: Hominis Canidae 54 Novembro
- Path: 2014 - Hominis Canidae 54 Novembro
- Track: 2faces - Just Kick Me And Say I ...
bug
rafapolo
[radio] Track not playable — audio error (MediaError 4)
- Acervo: homi
- Album: Hominis Canidae #101 - Outubro
- Path: 2018 - Abdala Pacheco - Hominis Canidae #101 - Outubro
- Track: Cavaleiro ...
bug
ID: Eliminar Recepcionista
Titulo
Como dueño
quiero eliminar un recepcionista
para quitarle el acceso como recepcionista
Reglas de negocio
Criterios de aceptación
Escenario 1: Eliminación exitosa ...
Gestión de Empleados
Sprint 1
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.