pullrequests Search Results · language:Dune language:Python language:Java language:Python language:Python language:JavaScript
Filter by
183M results
Bumps sigstore/gh-action-sigstore-python from 3.3.0 to 3.4.0. details summary Release notes /summary p em Sourced from a
href= https://github.com/sigstore/gh-action-sigstore-python/releases sigstore/gh-action-sigstore-python ...
dependabot[bot]
Automated re-open (ADR-009, SPEC-009-A): all of no-nat-sq-eq-two-mul-sq s decomposition sub-lemmas are proved, so the
parent returns to open and can be proved with the subs as imports. It still closes ...
adam91holt
Filed by the periodic trace-review pass. Source trace: 9ed857480571d3f0f8d8f5e4acc789bb (session
20260614T210511Z-ci-fix-out-of-scope-ci-failure-ci-tests-179e, name review, total cost $0.0054).
Deterministic ...
robotsix-mill[bot]
Bumps com.zaxxer:HikariCP from 7.0.2 to 7.1.0. details summary Changelog /summary p em Sourced from a href=
https://github.com/brettwooldridge/HikariCP/blob/dev/CHANGES com.zaxxer:HikariCP s changelog ...
dependencies
java
Summary
- Update README quickstart examples to prefer primary CLI aliases.
- Update CLI reference for chronicle export profile, chronicle package, chronicle context, and chronicle graph.
- Document ...
tomyuk
🤖 AI Security Remediation
🟢 Auto-merge eligible — will merge after CI passes.
📊 Analysis
- Severity: MEDIUM
- Confidence: 85%
- Auto-fix allowed: True
📝 Summary
The code uses the subprocess ...
ai-remediation
severity-medium
gangiiopsdev
סקירה
10 שיפורי חוויית משתמש, ממוקדים בשלב הטורניר החי (המשחקים החלו — אין יותר מילוי טפסים). כל שיפור עבר תהליך: תכנון UX →
תכנון פיתוח → ניתוח השלכות + טיפול + טסטים → פיתוח → הרצת כלל הטסטים → code ...
eyalbenzvi
Summary
Dummy Wear messages no longer expose their decoded content in mobile Logcat. Successful delivery remains diagnosable
through a constant receipt message without duplicating arbitrary cross-device ...
garethpaul
val329Bumps com.squareup.okhttp3:okhttp-urlconnection from 4.12.0 to 5.4.0. details summary Changelog /summary p em Sourced
from a href= https://github.com/square/okhttp/blob/master/CHANGELOG.md com.squareup.okhttp3:okhttp-urlconnection ...
dependencies
java