pullrequests Search Results · language:Dune language:TypeScript language:JavaScript language:Python language:JavaScript
Filter by
229M results
BilalAcikgoz
This PR contains the following updates:
| Package | Change | Age | Confidence |
| --- | --- | --- | --- |
| pnpm (source) | 11.5.1 → 11.5.2 | age | confidence |
Release Notes
details summary pnpm/pnpm ...
renovate[bot]
Summary
Adds the Lean-side Phase 2 RTGS settlement witnesses and fixtures needed to certify the std/settlement.mm unknown atom:
theorem balance_conservation
(balances : List Int) (from_idx to_idx ...
devin-ai-integration[bot]
Bumps typescript-eslint from 8.60.0 to 8.60.1. details summary Release notes /summary p em Sourced from a href=
https://github.com/typescript-eslint/typescript-eslint/releases typescript-eslint s releases ...
dependencies
javascript
dependabot[bot]
rafipramudya7Independently re-verified findings from the 2026-06-05/06 Codex audits (verification:
docs/audits/audit-verification-2026-06-06.md, local-only).
C2 (correctness, high): NaturalGradientDynamics.step applied ...
cdenn016
Summary
Bundles the feat/new-feature work: multi-make scraper UX, schema v6 dead-column cleanup, the cars ad_expiry capture fix,
and the API-mode recheck / backfill hardening.
Schema v6 — drop dead-weight ...
MHafizAzizi
요약
sprite-picker가 애니메이션 스프라이트를 미리보며 고를 수 있게 보강.
- animated: true 카드는 thumbnail(SMIL/CSS 애니 SVG)을 object로 렌더 → 갤러리/슬롯에서 실제로 움직이는 미리보기. (img는 SVG 애니가 안 돌아감.) 클릭은
pointer-events:none로 카드에 통과되어 배정 ...
v0o0v
Deskripsi
!-- PR baru: hapus blok referensi tim di bawah jika tidak relevan --
Referensi aktivitas di main (1 Mei 2 Mei 2026)
Ringkasannya mengikuti riwayat commit main di repo.
2 Mei 2026
- feat: ...
RayhanIIqbal13
What
On the GitHub Pages playground, math slides — especially matrix and compare — render shrunk to an unreadable size and
visibly jump/re-scale a few times after first paint. math stats looks fine, and ...
saden1