Skip to content

pullrequests Search Results · language:Dune language:JavaScript language:HTML language:Python language:Python language:JavaScript

Filter by

175M results  (2 s)

175M results

Automated Phase-1 proof of goal sum-pentatope-triple-product by agent mac-158f (ADR-006, ADR-007, SPEC-007-A). New library module library/Unsorry/SumPentatopeTripleProduct.lean re-states and proves sum_pentatope_triple_product; ...

Three related funding-flow changes. 1. Stop auto-creating embedded wallets app/providers.tsx: createOnLogin: off . New logins no longer get an empty Privy embedded wallet (the source of the 0xA97F… confusion). ...

Qué cambia Maniobras y mejoras de simulación - Autorizado aterrizar: ahora es una maniobra completa y automática (desciende, toma tierra, frena en pista y la abandona por la calle de rodaje, quedando ...

Merge pull request #12 from BotAu/Zmiany_Filipa

Targeted for v1.1.8. Why In-place upgrades carry forward existing stack parameter values (UsePreviousValue); only params the driver passes explicitly (the images) refresh to new defaults. So when v1.1.7 ...

Summary The two source files (original/Stoddert_WSHP_Hydraulic_Twin.jsx, original/Stoddert_CW_Plant_Twin.jsx) were standalone React components with no project around them, so they couldn t actually run. ...

Summary Adds a new lint finding code tag-case-collision (INFO severity) that flags tags differing only by case across the blueprint (e.g. Algebra and algebra). Such tags fragment the tag rollup into separate ...

Добавлен модуль report.py и подключение в main.py. Готово к слиянию в main.

snyk-top-banner Snyk has created this PR to fix 1 vulnerabilities in the npm dependencies of this project. Snyk changed the following file(s): - package.json - package-lock.json Vulnerabilities ...