issues Search Results · language:Dune language:Python language:JavaScript language:JavaScript language:Python language:Java
Filter by
55.2M results
Hi, I was actively using caveman, which is really useful, and stumbled upon your project. I like the idea, but I wonder
if we can combine both skills to keep the brevity of caveman? Like this:
- caveman ...
When the pagination count query is disabled (PaginatedCriteriaBuilder.withCountQuery(false), or via the entity-view
property ConfigurationProperties.PAGINATION_DISABLE_COUNT_QUERY), PagedList.getTotalSize() ...
Hello :)
Services Manager has a Quick Setup row: small tiles, each a plain question with YES / NO / CHANGE:
- Bluetooth - Czy używasz bluetooth?
- Drukowanie - Czy drukujesz na tym komputerze?
...
feature
Agenda-Only Meetings Need Transcripts
6 meeting(s) were summarized from agenda documents only. These summaries show what was scheduled, not what actually
happened.
To fix: Grab the transcript from the ...
Docker/Infra bugs:
1. CRITICAL: cloud-deployments/openshift/Dockerfile:37,115,171 — uses Node.js 18, server requires =22. Deployment will
fail.
2. CRITICAL: docker/.env:28, docker-opensin/.env:7 ...
bug
Server utility deep dive bugs:
1. HIGH: All vector DB providers — no timeout on API calls, can hang server indefinitely
2. HIGH: All LLM providers — no explicit timeout on SDK clients (OpenAI default ...
bug
Frontend deep dive bugs:
1. HIGH: src/hooks/useWebSocket.ts:50-96 — no error event listener on WebSocket. UI hangs silently on network error.
2. HIGH: src/EmbeddingProgressContext.tsx:203-206 — SSE ...
bug
Critical API security + stability bugs:
1. server/endpoints/workspaces.js:147,1160 — multiuserMode typo (should be multiUserMode) crashes two upload endpoints
with ReferenceError
2. server/endpoints/api/admin/index.js ...
bug
Add another property chain axiom for isRelatedTo property
Summary
When creating a SchLib (like the hello_schlib example), the designators and comments are not visible for the created
symbols. This can only be turned on via the Tools - Document Options - Show ...
bug

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.