Skip to content

pullrequests Search Results · language:Dune language:Python language:Java language:JavaScript language:Java language:JavaScript

Filter by

182M results  (3 s)

182M results

加上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

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: ...