issues Search Results · language:Dune language:JavaScript language:Java language:Python language:Python language:JavaScript
Filter by
55.6M results
Summary
public data A { MkA(Int) } (plus a second ADT B with MkB(A)) makes vera run fail with unknown table 0: the user ADT s
name collides with a prelude generic type parameter (the Option/Result combinators ...
bug
codegen
aallan
Custom Node Testing
- [x] I have tried disabling custom nodes and the issue persists (see how to disable custom nodes if you need help)
Your question
After I followed every step in sequence and completed ...
Gr4vItyzy
just like how you delete photos, you don t click the red delete button instead you can click anywhere on the picture and
it selects it so that you don t accidentally click into the post
olivertzeng
Gasila5背景与动机
Amiga 的差异化优势之一是 「结构化课程 + 真实语料」 的闭环：晋级之路教语法词汇，今日热搜提供可理解输入，单词本用 SRS 巩固。后端链路已经打通——NewsReader.vue 会在文章加载后自动调用
ensureWordsSeen，用户点词后可通过 WordPopup 标记「认识 / 不认识」并写入 user_vocab。
但从用户视角走一遍流程，会发现体验断层：
1. ...
wesele
Summary
Model selector dropdown crashes with dict object has no attribute lower.
Steps to Reproduce
1. Open Hermes Desktop on macOS.
2. Click the model selector in the bottom input bar (Step 3.7 Flash:Free ...
area/config
comp/cli
comp/desktop
P3
type/bug
nickeysun
Reported by discord-sync via Discord on 2026-07-02 Tags: General Bug
!-- bot-created-from-discord --
Describe the bug The two civil wars ended in white peace
To Reproduce See Discord thread for details. ...
bug
events
from-discord
game-breaking
needs-verified
politics
millenniumdawnmod-hub
背景（PR #975 Gemini 外審盲區 1 的 disposition 落地）
repo 現存兩種百分比處理範式並存：
- 範式 A：recording rule 先 * 100 成 percent-scale（elasticsearch / jvm / kubernetes / pg-connections / rabbitmq），annotation
用 {{ $value ...
area:rule-pack
ci
defer-with-trigger
vencil
tests/test_compile.py:348 calls _nft_available() in a @pytest.mark.skipif, but no such name is defined or imported.
Every other gate in that file uses gh.nft_available (from tests.golden_harness). The ...
status:ready-to-merge
type:bug
smith153
Audit user-creation for blocking side-effects (per FACTORY_STANDARD §32)
AptDesignerAI just had a total signup outage: an on_auth_user_created trigger s insert into a profile table threw and
rolled back ...
enhancement
subhsubh24
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.