Skip to content

chore(dependabot): cap open pull requests per update block - #96

Merged
hyperpolymath merged 1 commit into
mainfrom
chore/dependabot-pr-caps-2026-09-08
Sep 13, 2026
Merged

hyperpolymath merged 1 commit into
mainfrom
chore/dependabot-pr-caps-2026-09-08

Conversation

@hyperpolymath

Copy link
Copy Markdown
Owner

Adds open-pull-requests-limit to Dependabot update blocks that had no cap, following the estate per-ecosystem cap doctrine (task #37). No other line in the file is touched.

Claude-Session: https://claude.ai/code/session_011eQ7hibx92N7fBDtwgReWk

Summary

Closes #

Type of change

  • 🐛 Bug fix (non-breaking change that fixes an issue)
  • ✨ New feature (non-breaking change that adds functionality)
  • 💥 Breaking change (would change existing behaviour)
  • 🕳️ Soundness fix (fixes a checker/proof false-negative)
  • 📖 Documentation
  • 🧹 Refactor / tech debt (behaviour-preserving)
  • ⚡ Performance
  • 🔧 Build / CI / tooling

How has this been verified?

Checklist

  • My commits are signed (git commit -S).
  • I ran the project's own checks/tests locally and they pass.
  • New files carry the correct SPDX-License-Identifier (code/config MPL-2.0,
    prose CC-BY-SA-4.0); I did not relicense existing files.
  • Docs are updated, and no public claim now overstates what the code does.
  • I have not introduced a soundness hole (or I have flagged where I might have).

Notes for reviewers

Adds `open-pull-requests-limit` to Dependabot update blocks that had no
cap, following the estate per-ecosystem cap doctrine (task #37).
No other line in the file is touched.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_011eQ7hibx92N7fBDtwgReWk
@coderabbitai

coderabbitai Bot commented Sep 12, 2026

Copy link
Copy Markdown
Contributor

Review Change StackReview Change Stack

No actionable comments were generated in the recent review. 🎉

ℹ️ Recent review info
⚙️ Run configuration

Configuration used: Organization UI

Review profile: ASSERTIVE

Plan: Advanced

Run ID: ad8d046a-c4a0-40d8-b2cf-05702749a365

📥 Commits

Reviewing files that changed from the base of the PR and between 69b6994 and 8afc90a.

📒 Files selected for processing (1)
  • .github/dependabot.yml

Included review availability: Your plan provides up to 1 included review per hour; 0 remain after this review.

📜 Recent review details
⏰ Context from checks skipped due to timeout. (2)
  • GitHub Check: scan / gitleaks
  • GitHub Check: Hypatia Neurosymbolic Analysis
⚠️ CI failures not shown inline (4)

GitHub Actions: Lean Proofs / 0_Build Lean metatheory (lake build).txt: chore(dependabot): cap open pull requests per update block

Conclusion: failure

View job details

##[group]GITHUB_TOKEN Permissions
 Contents: read
 Metadata: read
 ##[endgroup]
 Secret source: Actions
 Cache mode: write
 Prepare workflow directory
 Prepare all required actions
 Getting action download info
 Download action repository 'actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd' (SHA:de0fac2e4500dabe0009e67214ff5f5447ce83dd)
 Download action repository 'leanprover/lean-action@38fbc41a8c28c4cbaec22d7f7de508ec2e7c0dd9' (SHA:38fbc41a8c28c4cbaec22d7f7de508ec2e7c0dd9)
 Getting action download info
 ##[error]The action actions/cache/restore@v5 is not allowed in hyperpolymath/phronesis because all actions must be pinned to a full-length commit SHA.

GitHub Actions: TLA+ Consensus / 0_TLC model-check (BFT safety).txt: chore(dependabot): cap open pull requests per update block

Conclusion: failure

View job details

##[group]Run curl -fsSL -o tla2tools.jar \
 �[36;1mcurl -fsSL -o tla2tools.jar \�[0m
 �[36;1m  https://github.com/tlaplus/tlaplus/releases/download/v1.8.0/tla2tools.jar�[0m
 �[36;1mecho "***REDACTED_HIGH_ENTROPY_STRING***  tla2tools.jar" \�[0m
 �[36;1m  | sha256sum -c -�[0m
 shell: /usr/bin/bash -e {0}
 ##[endgroup]
 sha256sum: WARNING: 1 computed checksum did NOT match
 tla2tools.jar: FAILED
 ##[error]Process completed with exit code 1.

GitHub Actions: TLA+ Consensus / TLC model-check (BFT safety): chore(dependabot): cap open pull requests per update block

Conclusion: failure

View job details

##[group]Run curl -fsSL -o tla2tools.jar \
 �[36;1mcurl -fsSL -o tla2tools.jar \�[0m
 �[36;1m  https://github.com/tlaplus/tlaplus/releases/download/v1.8.0/tla2tools.jar�[0m
 �[36;1mecho "***REDACTED_HIGH_ENTROPY_STRING***  tla2tools.jar" \�[0m
 �[36;1m  | sha256sum -c -�[0m
 shell: /usr/bin/bash -e {0}
 ##[endgroup]
 sha256sum: WARNING: 1 computed checksum did NOT match
 tla2tools.jar: FAILED
 ##[error]Process completed with exit code 1.

GitHub Actions: Lean Proofs / Build Lean metatheory (lake build): chore(dependabot): cap open pull requests per update block

Conclusion: failure

View job details

##[group]GITHUB_TOKEN Permissions
 Contents: read
 Metadata: read
 ##[endgroup]
 Secret source: Actions
 Cache mode: write
 Prepare workflow directory
 Prepare all required actions
 Getting action download info
 Download action repository 'actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd' (SHA:de0fac2e4500dabe0009e67214ff5f5447ce83dd)
 Download action repository 'leanprover/lean-action@38fbc41a8c28c4cbaec22d7f7de508ec2e7c0dd9' (SHA:38fbc41a8c28c4cbaec22d7f7de508ec2e7c0dd9)
 Getting action download info
 ##[error]The action actions/cache/restore@v5 is not allowed in hyperpolymath/phronesis because all actions must be pinned to a full-length commit SHA.
🔇 Additional comments (1)
.github/dependabot.yml (1)

16-16: LGTM!

Also applies to: 35-35, 42-42, 49-49


📝 Summary

Summary by CodeRabbit

  • Chores
    • Configured limits for automated dependency update pull requests across GitHub Actions, Mix, npm, and pip.

Walkthrough

The Dependabot configuration now limits open pull requests to 2 for GitHub Actions updates and 3 for Mix, npm, and pip updates.

Changes

Dependabot limits

Layer / File(s) Summary
Configure update limits
.github/dependabot.yml
The configuration sets an open pull-request limit of 2 for GitHub Actions updates and 3 for Mix, npm, and pip updates.

Priority: ⬇️ Low

Estimated code review effort: 1 (Trivial) | ~3 minutes

Change: Other

Merge Risk: ⚪ Minimal · up to 8afc9

This configuration-only change caps Dependabot pull requests as intended and is ready to merge.

🚥 Pre-merge checks | ✅ 5
✅ Passed checks (5 passed)
Check name Status Explanation
Title check ✅ Passed The title clearly identifies the Dependabot change and the cap applied to open pull requests.
Description check ✅ Passed The description explains that Dependabot limits were added to previously uncapped update blocks and links the change to task #37. The remaining template content does not make the description unrelated…
Docstring Coverage ✅ Passed No functions found in the changed files to evaluate docstring coverage. Skipping docstring coverage check. Docstring coverage is scoped to functions touched by this diff. Analyzed 0 functions across 0…
Linked Issues check ✅ Passed Check skipped because no linked issues were found for this pull request.
Out of Scope Changes check ✅ Passed Check skipped because no linked issues were found for this pull request.
✨ Finishing Touches 💡 1
🛠️ Fix failing CI checks 💡
  • Create stacked PR
  • Commit on current branch

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

A rabbit sets the update queue,
Two action hops, then three come through.
Mix and npm wait in line,
Pip joins with a neat design,
Dependabot keeps the burrow fine.

Comment @coderabbitai help to get the list of available commands.

@github-actions

Copy link
Copy Markdown

🔍 Hypatia Security Scan

Findings: 25 issues detected

Severity Count
🔴 Critical 1
🟠 High 13
🟡 Medium 11

⚠️ Action Required: Critical security issues found!

View findings
[
  {
    "reason": "Issue in label-triage.yml",
    "type": "missing_timeout_minutes",
    "file": "label-triage.yml",
    "action": "flag",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Issue in labels.yml",
    "type": "missing_timeout_minutes",
    "file": "labels.yml",
    "action": "flag",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Required file missing (condition: public_repo)",
    "type": "missing_requirement",
    "file": "SECURITY.md",
    "action": "create",
    "rule_module": "cicd_rules",
    "severity": "high"
  },
  {
    "line": null,
    "reason": "workflow .github/workflows/dependabot-automerge.yml references `secrets.*` but does not install `step-security/harden-runner` — no outbound-egress telemetry",
    "type": "RE001",
    "file": ".github/workflows/dependabot-automerge.yml",
    "action": "report",
    "rule_module": "research_extensions",
    "severity": "warn"
  },
  {
    "line": null,
    "reason": "workflow .github/workflows/hypatia-scan.yml references `secrets.*` but does not install `step-security/harden-runner` — no outbound-egress telemetry",
    "type": "RE001",
    "file": ".github/workflows/hypatia-scan.yml",
    "action": "report",
    "rule_module": "research_extensions",
    "severity": "warn"
  },
  {
    "line": null,
    "reason": "workflow .github/workflows/label-triage.yml references `secrets.*` but does not install `step-security/harden-runner` — no outbound-egress telemetry",
    "type": "RE001",
    "file": ".github/workflows/label-triage.yml",
    "action": "report",
    "rule_module": "research_extensions",
    "severity": "warn"
  },
  {
    "line": null,
    "reason": "workflow .github/workflows/labels.yml references `secrets.*` but does not install `step-security/harden-runner` — no outbound-egress telemetry",
    "type": "RE001",
    "file": ".github/workflows/labels.yml",
    "action": "report",
    "rule_module": "research_extensions",
    "severity": "warn"
  },
  {
    "line": 48,
    "reason": "workflow .github/workflows/dependabot-automerge.yml:48 gates on `github.actor == 'dependabot[bot]'` — `github.actor` is the run-triggering user, which an attacker controls on `pull_request_target` from a fork",
    "type": "RE008",
    "file": ".github/workflows/dependabot-automerge.yml",
    "action": "report",
    "rule_module": "research_extensions",
    "severity": "critical"
  },
  {
    "reason": "binary_to_term without :safe option -- deserialization attack (1 occurrences, CWE-502)",
    "type": "elixir_send_unsanitised",
    "file": "/home/runner/work/phronesis/phronesis/lib/phronesis/compiler.ex",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "high"
  },
  {
    "reason": "No SECURITY.md found in phronesis",
    "type": "SecurityPolicy",
    "file": "/home/runner/work/phronesis/phronesis",
    "action": "auto_fix",
    "rule_module": "scorecard",
    "severity": "medium",
    "remediation": "Add SECURITY.md documenting how to report vulnerabilities.",
    "scorecard_check": "Security-Policy"
  }
]

Powered by Hypatia Neurosymbolic CI/CD Intelligence

@hyperpolymath
hyperpolymath merged commit c34f3ea into main Sep 13, 2026
17 of 19 checks passed
@hyperpolymath
hyperpolymath deleted the chore/dependabot-pr-caps-2026-09-08 branch September 13, 2026 10:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant