issues Search Results · language:Edge language:Python language:C# language:Java language:JavaScript language:Go linked:pr
Filter by
7.7M results
Symptom
Any prove PR for a goal whose statement has a named hypothesis binder following an implicit binder fails gate-a —
regardless of the proof s correctness.
First hit in the wild: not-prime-pow-four-add-four ...
binto-labs
症状（2026-06-12 実測）
フルスイート実行で test_generate_report_empty_snapshot / test_generate_report_populated_snapshot が snapshot mismatch で
fail（単体実行では pass する order-dependent）。差分は「## 繰り返し失敗パターン TOP-5: semantic_idiom ...
shohu
This issue is created automatically to track contribution activity.
updation
PravEEnhub31
Add host-level dashboard filtering, typed risk APIs, alert delivery visibility, Postman/Newman coverage, docs, and local
verification.
varadharajaan
Summary
- add Go lint to CI
- keep unit tests and build validation explicit
- block accidentally committed provider subscription links or similar sensitive external URLs
Motivation
The repository ...
phenix3443
Context
The state ownership preflight now resolves must-preserve Rust cutover stores, but the next cutover-safety step needs a
deterministic backup manifest and copy plan before freeze/final-backup tooling. ...
rajeshgoli
Phase 1 of #21 — mock-driven requirements
What
Add --mock flag to intent ingest. When present, the ingest agent runs an additional region identification pass and
writes @region / @end-region annotations ...
mrs-kim
📌 개요
주문 목록/상세 조회 응답에 주문 상품의 상품명, 브랜드명, 이미지 등 상품 정보를 포함하도록 수정합니다.
🔍 변경 사유
- 사용자 경험: 주문 내역 화면에서 구매한 상품명이 표시되지 않아 사용자가 어떤 상품을 주문했는지 확인하기 어려움
- 기술적 개선: 주문 아이템의 productId만 반환하던 구조를 상품 요약 정보까지 매핑하는 구조로 ...
🐛 fix
gyuoo
Summary
The documented add-account flow is broken once more than the initial set of accounts exists. cus add name prints cus
init --force cus poll as the registration step, but that sequence never actually ...
rayistern
The v0.17.0 publish run (https://github.com/moda-labs/modastack/actions/runs/27393799962) emitted Node.js 20 deprecation
annotations. GitHub forces all JavaScript actions to run on Node 24 by default starting ...
status:in-review
underminedsk
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.