Skip to content

issues Search Results · language:Dune language:JavaScript language:JavaScript language:HTML language:JavaScript linked:pr

Filter by

2.2M results  (298 ms)

2.2M results

A Delete Button should be present in note card to archive the note.

문제 건물 공격(StructureUnderAttack) 등 구조물 공격 알림을 통합 채널로 보낼 때, 건물 이름이나 위치(성계)가 없어 어떤 건물인지 알 수 없는 문제가 있다. 현재 알림 예시: - 건물 유형(예: 라이따루), 테넌트, 공격자 코퍼레이션, 남은 실드/아머/헐만 표시 - 정작 어느 건물인지 / 어느 성계인지를 알 수 없음 원인 (ESI ...

Problem Mandrel 1.75.0 s scope-triage routes both current v1 scenarios — hello-world and crud-db — through the standalone single-Story path, not the Epic path. (Evidence: a 1.75.0 crud-db run produced ...
enhancement
type::story

Add new page for hobbies. Include spaces for images.

Acceptance Criteria: 💬 Core Conversation Components This is the foundation for any AI chat interface, handling the input, output, and flow of a conversation. | Component | Description | Use Case | | ...
enhancement

Creare la index e show degli ordini Todo fare la create

Summary npm audit reports one high + one moderate vulnerability in undici, pulled in transitively through our test-only devDependency jsdom: google-calendar-event-creator `-- jsdom@29.1.1 `-- undici@7.27.2 ...

Bugs 1. Bring back run history list The current UI only shows the most recent task per member. Users want to see all previous runs and click any of them to see details in the modal. Show a scrollable ...

Summary PR #214 (issue #199) fixed the Alloy runners so they actually detect assertion violations. That fix immediately surfaced 4 genuine, pre-existing formal-model violations that the dead /Counterexample/i ...
confirmed
formal-verification
needs-triage
quorum-hardening
Issue origami icon

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 Issues
ProTip! Restrict your search to the title by using the in:title qualifier.
Issue origami icon

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 Issues
ProTip! Restrict your search to the title by using the in:title qualifier.