pullrequests Search Results · language:Dune language:Python language:Java language:JavaScript language:Java language:JavaScript
Filter by
182M results
…Eetc...
加上3D to 15D的 Batcher Merge Sort, Advanced Batcher, Bitonic 的執行時間 和3D to 8D的 Greedy+Beam Search執行時間
3D: 40320permutations 4D: selected cases+random 40000 5D~15D: only selected cases
…d note bottlenecking risk
Overlay styling
Align /app/hikes overlays with the ships map: drop card-hard (rounded + drop-shadow) and the panel/legend border-radius
+ box-shadow. The control panel, walk card, stats box, Next viable ...
Summary
- Add a per-repo drill-down view (#repo/ owner / name ) that aggregates a single repo s worker status, worktrees,
remote-control session card, scoped stuck processes, and a live log tail ...
!-- PR TEMPLATE — TheMovieProject Backend Fill this out so we can track changes, testing, UI impact, and risk.
🚀 Pull Request
📌 PR Type (select one or more)
- [x] 🐞 Bug Fix
- [x] ✨ New Feature
...
Summary
- F4 (audit 2026-06-13): src/modules/ui-ux/reviewer.md [rich] graphical-walkthrough item said drive it unconditionally
when a UI driver is present — contradicting the 5.11.4 floor s offered, ...
🎯 What: Removed the legacy Python 3.7 fallback logic for importlib.metadata and improved the exception handling around
package version retrieval. 💡 Why: Simplifies the code, removes an unnecessary fallback ...
Summary
Closes #234 (Security → 10: SHA-pin repo-owned GitHub Actions).
Pins the third-party actions in rhiza_fuzzing.yml — the last repo-owned workflow still using floating tags — to full
commit SHAs: ...