issues Search Results · language:Edge language:Python linked:pr language:Python language:JavaScript language:Python
Filter by
4.1M results
Summary
Promotes 4 generic improvements originally developed in comes-io/trawl_vue back up to devkit, so all downstream projects
benefit automatically.
Tracked under infra#38 (trawl→devkit drift cleanup). ...
Rapid successive pushes or manual reruns can currently queue multiple overlapping Content quality jobs for the same ref.
That wastes runner time on a repo whose validation path is intentionally fairly ...
배경
맞춤형 공지(?view=personalized)는 현재 매칭된 공지만 필터(#174)한 뒤 match_score 내림차순 → 최신순으로 정렬. 정렬을 published_at 최신순으로 변경 요청.
변경
- 필터(match_score =1)는 유지, 정렬만 점수순 → 최신순
- match_score는 필터 기준으로만 사용, 응답엔 계속 노출 ...
Context
Promotes two generic UX improvements from trawl_vue downstream back to the devkit, so all downstream projects benefit.
Tracked in infra#38 (drift cleanup audit) — Tasks T8 and T9.
Changes
T8 ...
Create a minimal Express server with a /health endpoint, a test for it, and a CI job that runs the test on every
push/PR.
enhancement
Problem to solve
Before the traffic layer, Creep.travelTo wrapped moveTo with reusePath: 20 — paths were cached and recomputed only ~once
per 20 ticks. The traffic layer (#56) swapped to findPathTo, which ...
enhancement
infra
Feature Description
Add a download button to the Executive Report — Weekly Summary by Team section that downloads the executive summary as a
plain text file, formatted for easy copy-paste into Google ...
來源
手機 UX 審計(2026-06-03):docs/UX_AUDIT_MOBILE.md
問題
在 355px viewport 下,幾乎所有可互動元素都低於 WCAG 2.5.5 最低 44×44px touch target 標準。
需修復的 touch targets
| 元素 | 當前尺寸 | Page |
| --- | --- | --- |
| 漢堡選單 ☰ | 15×19 ...
accessibility
enhancement
ux
Summary
Complete redesign of the IGRIS web UI to reflect its role as a personal OS agent.
Problems with current UI (v2)
- 3-column layout with fixed widths breaks on smaller viewports
- Chat is ...

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.