pullrequests Search Results · language:Dune language:Python language:JavaScript language:JavaScript language:HTML language:Go
Filter by
198M results
Automated Phase-1 proof of goal odd-fourth-power-mod-sixteen by agent p3-a1 (ADR-006, ADR-007, SPEC-007-A). New library
module library/Unsorry/OddFourthPowerModSixteen.lean re-states and proves odd_fourth_power_mod_sixteen; ...
cgbarlow
Closes #76. Indexed by #52 (item 6). Parent milestone: #5 (M4).
Summary
Closes review finding S11 — pins the email-required sign-in policy in its canonical owner and documents the schema
coupling.
...
Archii-Coder
RRMCCARDELL1982
shashankshines
KhuzaimxBrings the homepage CTA routing, tenant trial (SGD 300 after free week) promo, and PayNow/UEN admin verification flow
live on main so Cloudflare Pages deploys it.
Resolves merge conflicts with main s ...
scavaiverse
farrelabdaaghazkaWhat
Light-theme accent colors --clay and --gold were just under WCAG AA for normal text in both exemplars (4.02 / 4.43 on
--ivory). Darkened them so all accent text passes AA ( =4.5:1) on both --ivory ...
azagreev
Add --crds flag to emit any Helm defined custom resource definitions.
robdavid
Motivação
O usuário quer abandonar a rotação dinâmica e operar 12 pares fixos (a Estratégia Padrão do PDF). Mas
USE_BINANCE_STRATEGY=True força seleção dinâmica do primário trend_signal por design (bot.py ...
jsvaliengo