pullrequests Search Results · language:Dune language:Python language:JavaScript language:CSS language:JavaScript language:Java
Filter by
191M results
Summary
Adds the udev_monitor collector (spec §5.1, USB / device hotplug events) — the next Phase 2 collector. Pure-Python,
single PR per repo conventions.
Design decision: stream udevadm monitor, not ...
Summary
A full visual redesign of the Atlas frontend — applied as a CSS-token + shared-component refactor, then
surface-by-surface. Direction: generous whitespace, soft light/charcoal surfaces (separation ...
概要
dependabot が個別 PR で上げようとしている @angular/core / @angular/common / @angular/compiler の 21.2.17 更新を 1 PR にまとめ、CI の npm
install 失敗(ERESOLVE)を解消する。
変更内容
- frontend/package.json: framework 系 @angular/* ...
Design doc capturing the root cause behind the recurring answer-duplication / fragmentation bugs and the two-part fix.
Root cause: two seams where two paths produce the same content —
1. Dual emission ...
This PR is generated automatically by GitHub Action to update lean/mathlib version.
auto-update
teleporting api
Bumps vite from 8.0.10 to 8.0.16. details summary Release notes /summary p em Sourced from a href=
https://github.com/vitejs/vite/releases vite s releases /a . /em /p blockquote h2 v8.0.16 /h2 p Please ...
dependencies
javascript
picture source media= (prefers-color-scheme: dark) srcset= https://static.trunk.io/assets/merge_test_pr_banner_dark.svg
source media= (prefers-color-scheme: light) srcset= https://static.trunk.io/assets/merge_test_pr_banner_light.svg ...