Skip to content

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

Filter by

223M results  (2 s)

223M results

Corpus-evaluation infra (Mike overnight $100 pre-auth). Code only; live pull is a deliberate separate credentialed step. - overnight_spend.py — $100 hard ceiling for the overnight window (separate from ...

🤖 AI Security Remediation 🟢 Auto-merge eligible — will merge after CI passes. 📊 Analysis - Severity: MEDIUM - Confidence: 85% - Auto-fix allowed: True 📝 Summary The application uses the subprocess ...
ai-remediation
severity-medium

This PR contains the following updates: | Package | Change | Age | Confidence | | --- | --- | --- | --- | | dev.faststats.metrics:bukkit (source) | 0.25.1 → 0.26.0 | age | confidence | Release Notes ...

Summary - records the June 11 Sentry production activation recheck - documents that local Sentry safeguards are complete, but production activation is blocked on project/DSN access - records GoalBuddy ...

This PR contains the following updates: | Package | Update | Change | | --- | --- | --- | | ghcr.io/home-operations/radarr (source) | patch | 6.2.1.10437 → 6.2.1.10461 | Release Notes details summary ...
dep/patch
renovate/image

Bumps agents submodule to latest main (GraalJS-safe token usage comments, SA prompt cleanup, unit tests) and removes duplicate codegraph_tools.md from .dmtools/config.js.

Wires each killinchu scaling-tab item to the EXACT sorry-free, kernel-verified Lean theorem proving its mathematical core (lutar-lean #228, Lutar/Scaling/MetabolicScaling.lean, Mathlib v4.18, axioms [propext, ...

Part of #30 (E, F, G, K). ELF·SORCERER + Primal Origin removed; ARCANA × MIDNIGHT in red, position kept; level/prof banner deleted (right space reserved); badges 56→39 left-aligned with fixed label spacing; ...