Skip to content

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

Filter by

174M results  (2 s)

174M results

Mejora UI en modo oscuro, optimización responsiva y limpieza de código

Motivation - Publish the static marketing site into a docs/ folder suitable for GitHub Pages and keep a dist/ build for distribution. - Provide a complete site bundle with HTML, CSS, JS and SVG ...
codex

Bumps axios from 1.11.0 to 1.16.0. details summary Release notes /summary p em Sourced from a href= https://github.com/axios/axios/releases axios s releases /a . /em /p blockquote h2 v1.16.0 — May 2, 2026 ...
dependencies
javascript

See Commits and Changes for more details. Created by img src= https://prod.download/pull-18h-svg valign= bottom / pull[bot] (v2.0.0-alpha.4) Can you help keep this open source service alive? 💖 Please ...
⤵️ pull

See Commits and Changes for more details. Created by img src= https://prod.download/pull-18h-svg valign= bottom / pull[bot] (v2.0.0-alpha.4) Can you help keep this open source service alive? 💖 Please ...
⤵️ pull

🤖 AI Security Remediation 🟢 Auto-merge eligible — will merge after CI passes. 📊 Analysis - Severity: LOW - Confidence: 95% - Auto-fix allowed: True 📝 Summary The code uses a safe implementation ...
ai-remediation
severity-low

These are some additional theorems about ring localizations, with the idea to later prove that the localization of a ring at a prime ideal is a local ring. I initially tried to prove some of them using ...