pullrequests Search Results · language:Dune language:JavaScript language:Python language:Python language:JavaScript
Filter by
149M results
Proves sum-cubes-ge-sym-quadratic-two-var: for a b : ℝ with 0 ≤ a, 0 ≤ b, a²b + ab² ≤ a³ + b³.
The difference factors as (a − b)²·(a + b) ≥ 0 (nlinarith with mul_nonneg (sq_nonneg (a-b)) (add_nonneg ha ...
swarm:prove
chat-bit-01
🤖 AI-generated PR — Please review carefully.
What
Implement the make create-module scaffold entry point on top of the copier template (MPT-22131). F3 subtask MPT-22132
under story MPT-22102.
It renders ...
d3rky
Pipelines as Code configuration proposal
To start the PipelineRun, add a new comment with content /ok-to-test
For more detailed information about running a PipelineRun, please refer to Pipelines as Code ...
konflux-staging[bot]
🤖 AI-generated PR — Please review carefully.
What
Implements MPT-21637: apply the rolling 12-month retention rule to the accumulation tables.
- New AccumulationCleaner service (services/accumulation_cleanup.py) ...
albertsola
arush789What
Two related changes for handling flights past the reliable forecast horizon.
1. Long-range early outlook digest (haiku)
Beyond the ~7-day ECMWF GRIB horizon we lose direct soundings + ICON; only ...
roznet
Summary
- OSV データ期間を 90 日 → 30 日に短縮（API 使用時間・DB 容量削減）
- スキャン機能を完全削除（ダッシュボード・DB・API・テスト）
- ダッシュボードレイアウト整理（KEV セクション上部・OSV セクション下部に分離）
- クローラー実行ログテーブル追加（crawler_logs）
- CodeRabbit 指摘を修正（lifespan ...
baby-feelings
요약
T-226 분할 PR 3/N. 매칭 세트 탭 RebuildDbForm에 DB 재구성 사전 점검(preflight) + 위험작업 confirmation preview를 추가한다 — 기존
SourceMatchSetDetail만 소비, 백엔드 변경 없음(백엔드 promotion gate가 authoritative).
변경
- lib/rebuild-preflight.ts(summarizeRebuildPreflight, ...
digitie
Suppress opentelemetry cve as no new version and pin babel core as also transitive dep, although parent dep is 2 years
with no update
Jira link
N/A
Change description
Suppress opentelemetry cve as ...
nightly
jamiealbertelli
fdiazinoa