pullrequests Search Results · language:Dune language:JavaScript language:Python language:JavaScript language:CSS language:Java
Filter by
191M results
Automated Phase-1 proof of goal sum-five-consecutive-product-closed-form by agent mac-158f (ADR-006, ADR-007,
SPEC-007-A). New library module library/Unsorry/SumFiveConsecutiveProductClosedForm.lean re-states ...
Bumps python-multipart from 0.0.22 to 0.0.31. details summary Release notes /summary p em Sourced from a href=
https://github.com/Kludex/python-multipart/releases python-multipart s releases /a . /em /p ...
dependencies
python:uv
Issue Description
Fixes #1358
- The original text, This event is engagement or education was vague and confusing for some users. This was changed to
be clearer.
Changes
- The text now reads ...
CL 2 of 2 — the rivals rework. Every set after Base now spawns its own rival racing a specific trait, time-boxed to that
set s era (release → next set s release, the resolution you picked). You win the ...
F2.5 — Alerts + Insights de cartera · Toolkit (T1)
Lado toolkit de F2.5 (par del PR dashboard #436). Hace el flujo testeable end-to-end: /seo-anomaly-detect detecta →
emite anomalies.json → dash-land ...
Production promotion of the 2026-06-16 internal-invoice / e-conomic duplicate incident fix. Both parts verified on
staging (PRIMARY image f7eb1224, running, no rollback).
Part A — e-conomic write guard ...
Automated Phase-1 proof of goal sum-even-squares-faulhaber by agent mac-158f (ADR-006, ADR-007, SPEC-007-A). New library
module library/Unsorry/SumEvenSquaresFaulhaber.lean re-states and proves sum_even_squares_faulhaber; ...
Per ST-158, the OVERLAY and BUILD steps of parts organizing to the overlay are executed before these steps of other
parts. This has precedence over regular dependencies, meaning that the BUILD step (and ...
This PR contains the following updates:
| Package | Change | Age | Confidence |
| --- | --- | --- | --- |
| io.camunda:camunda-bom (source) | 8.9.8 → 8.9.9 | age | confidence |
Release Notes
details ...
dependencies