issues Search Results · language:Dune language:JavaScript language:JavaScript language:Java language:Python language:Python
Filter by
55.6M results
Enforcement gap (mechanism, not convention). Surfaced by two red-main incidents this session (#1502 FEEC-enum, #1504
SD-guard-on-mocks, fixed in #1518).
The gap: the full CI/CD Pipeline → Test Suite (slow ...
area: testing
priority: high
size: medium
type: infrastructure
derrring
What are you working on?
Define a stochastic integral for integrating against semi-martingales and prove Ito s lemma. On the way, prove the
Doob-Meyer decomposition of sub-martingales.
Relevant Mathlib ...
intention
t-measure-probability
RemyDegenne
Enforcement gap (mechanism, not convention). Surfaced by the 2026-07-04 process review.
The root of the CHANGELOG pain: every PR appends to the single ## [Unreleased] → ### Fixed section, so each merge ...
area: documentation
priority: medium
size: small
type: infrastructure
The problem
Summary
After updating to Home Assistant Core 2026.7.0, the map entity is no longer available.
Steps to reproduce
Update Home Assistant Core from 2026.6.x to 2026.7.0. Check the entities ...
integration: ecovacs
fano0001
https://github.com/user-attachments/assets/67e1639a-e896-48c1-8a37-07d8a62a6479
lpoirothattermann
Summary run --code-export emits a testmu-runtime-wrapped replay (with vision_query calls) — not portable standalone
Playwright. The portable path is testmd export. The naming makes these easy to conflate. ...
tlemmonds
Summary
get_github_headers() sets the Authorization header to a literal placeholder string instead of the configured token.
Location
packages/learn-to-cloud-shared/src/learn_to_cloud_shared/verification/github_http.py:63-67 ...
bug
community automation
needs verification
question
madebygps
Environment: kane-cli 0.4.10
Summary Exporting a saved _test.md errors with not synced to TMS — run testmd run first. This forces a (billed) run
before you can get code out of an authored test.
Ask Allow ...
Summary Export emits JavaScript. Teams standardized on TypeScript want first-class .ts output (typed Playwright).
Ask Add a TypeScript export target (or --code-language typescript).
Summary --code-export / testmd export support python | javascript only. C# is a common enterprise automation stack (and
a specific customer s primary framework). Native C# generation would remove a real ...
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.