pullrequests Search Results · language:Dune language:JavaScript language:JavaScript language:Java language:Python language:HTML
Filter by
211M results
brent-hartwig
What this adds
Two operational improvements that follow from PR #140 (the formal-proof verifier):
1. lean-kernel.yml — real-kernel CI lane (informational, non-required)
The formal-proof verifier is ...
documentation
tooling
tomyimkc
What changed
- Added a local Python batch under embedding-batch/ to generate product embeddings with
sentence-transformers/paraphrase-multilingual-MiniLM-L12-v2.
- Reads MySQL connection settings ...
mydoglichy
This PR fixes a TypeScript issue in src/js/logic/cropper.ts where the disabled property was being accessed on
HTMLElement. The fix safely casts the document.getElementById results to HTMLButtonElement ...
bhaveshdhami009
Please provide me the recommendations
guru-dev-cicd-canary-beta
kevinc2001
Merge pull request #3 from FiXXX-dev/main
FiXXX-dev
Summary
- run the non-strict corpus validation smoke in CI
- document private strict corpus validation as the npm/standalone release gate
- reposition RuleMeter as an agent instruction drift and ...
heznpc
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]
Narayaaana11