issues Search Results · language:Dune language:Python language:Java language:HTML language:JavaScript language:HTML
Filter by
61.3M results
img width= 320 height= 91 alt= Image src=
https://github.com/user-attachments/assets/9f097b39-2d3d-47bd-b2ae-34cdb70c387b /
A caixa de diálogo tem de ter um mecanismo que permita sair ou fechar a caixa, quer através de teclado quer através de
um dispositivo apontador – ver requisito 9.3 na lista 10 aspetos
Evidências:
Verificou-se ...
chk 10 web
OK
R 9.3
Code4Lib Special Issue – Draft in Google Doc bis 15.06. (Fokus: Limitations/Scalability)
Kontext
Unser Abstract für das Code4Lib Special Issue „Static websites for scholarly editions and other publications ...
publications
enhancement
This is largely implemented but needs to be exposed as a formal API.
The idea would be to implement to_enface() and to_bscans() as methods to annotations objects (or possibly via OCTScan
object via scan.to_enface(annotation)) ...
enhancement
Job\nSave the closeout lessons from the Subconscious experiment draft contract session in a durable markdown note.\n\n## Exit criterion\nbash\nbash scripts/agent/validate-fast.sh\n\n\n## Prerequisites\n- ...
I think it s better for the user to auto-set it rather than the implicit default of 60s. Users might not realize this
default exists, and it s surprising that it may result in lots of new increases.
Thanks ...
ux
Problem
The VM appliance has zero swap configured. During heavy container builds (Maven + dnf + systemd services all running),
transient memory pressure causes the cgroup pids controller to reject forks ...
Wiki Change
Multiply Feature — created page (event SHA is the all-zeros created-event placeholder, so no _compare diff is available;
page content shown below).
Multiply Feature
Add a multiply(a, b) ...
agentic-workflows
automated
enhancement
wiki-driven
Committed deferred upgrade (U1)
The path_planning RRT* planner currently uses a static/synthetic OccupancyGrid (obstacle_map.build_synthetic_grid()) as
its obstacle source. This was a deliberate Stage-1 ...
enhancement

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.