pullrequests Search Results · language:Edge language:Python language:JavaScript language:JavaScript is:merged language:JavaScript
Filter by
85.2M results
Summary
- SBOM CycloneDX: Changes release workflow from SPDX to CycloneDX format (cyclonedx-json). The anchore/sbom-action
auto-attaches the SBOM to GitHub Releases. Added actions: read permission ...
Fmarzochi
Proves goal sq-lt-cube-of-one-lt: for real x 1,
x^2 x^3
since x³ − x² = x²·(x−1) 0 (both x² 0 and x−1 0). Discharged by nlinarith [mul_pos (mul_pos hx0 hx0) (… : 0 x - 1)] with
hx0 : 0 x. No sorry/admit/native_decide/axiom. ...
swarm:prove
chat-bit-01
Main-Michael-Sparks
eli-fstnIdentity Engine — wave 4 (cycle 2, wave B)
47 non-trivial, mathlib-absent identities, promoted from the candidate backlog. Completes cycle 2 s ~100-goal target
(wave 3 = 49 + this = 96, with a small top-up ...
chore
cgbarlow
Summary
- Make the 評測 leaderboard provider event-driven: a board emits a tech.benchmarks item only when its top-5 / ranks
changed vs the previous run — kills stale X maintains leadership non-events ...
bolin8017
What
On Remote Control a typed slash command reaches the model as a plain string, so the model must relay it via the Skill
tool — but disable-model-invocation: true removes the skill from the model s ...
sshubham2
This PR contains the following updates:
| Package | Type | Update | Change | OpenSSF |
| --- | --- | --- | --- | --- |
| pnpm (source) | packageManager | minor | 11.5.2 → 11.6.0 | OpenSSF Scorecard | ...
dependencies
renovate[bot]
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
pull[bot]
muskan-3210