pullrequests Search Results · language:Dune language:JavaScript language:HTML language:Python language:Python language:JavaScript
Filter by
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 ...