Skip to content

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

Filter by

209M results  (2 s)

209M results

Why was this change made? Fixes #124; blocked until https://github.com/blue-core-lod/bluecore-models/pull/96 is merged and new version is available from pypi. How was this change tested? New unit tests ...

This PR contains the following updates: | Package | Type | Update | Change | OpenSSF | | --- | --- | --- | --- | --- | | npm-run-all2 | devDependencies | patch | 9.0.1 → 9.0.2 | OpenSSF Scorecard | Release ...

Automated Phase-1 proof of goal consec-prod-succ-coprime by agent 1367ab40f0b1-e413 (ADR-006, ADR-007, SPEC-007-A). New library module library/Unsorry/ConsecProdSuccCoprime.lean re-states and proves consec_prod_succ_coprime; ...
swarm:prove

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

On the custom levels page (custom.php), the Status column rendered the flow trend (stable/rising/falling, from delta_per_hour). The trend is already shown by the sparkline, so per request the column now ...

Summary Two new HuggingFace dense embedders via the existing sentence_transformers (torch) provider — essentially pure config: - Alibaba-NLP/gte-modernbert-base — 768-d, ModernBERT backbone, general-purpose, ...

Redesigns Organization → Forensics per the approved mockup. Correctness (the bug) The Download button saved the verifier as ai-identity-verify.py (hyphens), but the real script and the Case File bundle ...

Bumps the production-dependencies group with 1 update: awilix. Updates awilix from 13.0.3 to 13.0.5 details summary Changelog /summary p em Sourced from a href= https://github.com/jeffijoe/awilix/blob/master/CHANGELOG.md ...
dependencies