Skip to content

pullrequests Search Results · language:Dune language:Python language:C# language:Java language:TypeScript language:HTML

Filter by

207M results  (2 s)

207M results

Summary Add the missing Phase 4-6 Lean executable path: MumeiLean.MerkleTree, MumeiLean.DeFi, and MumeiLean.ArkLibAudit now build as committed proof witness modules and are imported by the umbrella module. ...

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

Summary - Adds .github/workflows/test.yml — runs pytest (Python 3.12/3.13 matrix) and ruff lint/format on PRs and pushes to main - Adds ruff config to brow/pyproject.toml (select E/F/I/W, line-length ...

This is a draft proposal for the Tapestry PMC to review — please correct, reject, or discuss as needed. Nothing here is a requirement; the maintainers are the decision-makers. This PR adds THREAT_MODEL.md ...

Patches transitive npm advisories (Dependabot) within semver; verify passes. Major-coupled packages (next/vite/postcss/rollup) deferred.

When proposal type is Existing AP (Extra), the action bar shows Approve Extra (orange) instead of Convert to Job (green). The extra is already on the AP run as P; clicking Approve Extra changes its status ...

🤖 AI Security Remediation 🚨 Human approval required — please review before merging. 📊 Analysis - Severity: HIGH - Confidence: 100% - Auto-fix allowed: False 📝 Summary The code uses the subprocess ...
ai-remediation
needs-human-review
severity-high

Problem On a cold-start 503 (or any non-ok/network failure) the admin landing was silently showing all panels in empty state — \ No invoices waiting on you.\ , \ No AR action needed.\ , etc. — instead ...

Patches transitive npm advisories (Dependabot) within semver; verify passes. Major-coupled packages (next/vite/postcss/rollup) deferred.