Conversation
Contributor
Author
LabelsThe following labels could not be found: Please fix the above issues or remove invalid values from |
|
Codex usage limits have been reached for code reviews. Please check with the admins of this repo to increase the limits by adding credits. |
Bumps the github-actions-minor-patch group with 1 update: [github/codeql-action](https://github.com/github/codeql-action). Updates `github/codeql-action` from 4.35.2 to 4.35.3 - [Release notes](https://github.com/github/codeql-action/releases) - [Changelog](https://github.com/github/codeql-action/blob/main/CHANGELOG.md) - [Commits](github/codeql-action@95e58e9...e46ed2c) --- updated-dependencies: - dependency-name: github/codeql-action dependency-version: 4.35.3 dependency-type: direct:production update-type: version-update:semver-patch dependency-group: github-actions-minor-patch ... Signed-off-by: dependabot[bot] <support@github.com>
7732217 to
1daab92
Compare
3 tasks
AceHack
added a commit
that referenced
this pull request
May 3, 2026
… wait-ci; #1112/#1200 properly skipped (maintainer-gated) (#1433) Cumulative session: 6 PRs merged via cron-loop (#1097 + #1085 + #1431 + #1081 + #1083 + #1432). Skip-discipline validated on naming-consent (#1106) + licensing/IP (#1112) + CLAUDE.md cascade-rebase (#1200) + substantive CI (#1107). Teaches the stale-vs-real CI failure recognition: rebase-first- before-classifying when PR is older than ~24h and maintainer- gated-content signal is absent. Co-authored-by: Claude Opus 4.7 <noreply@anthropic.com>
AceHack
added a commit
that referenced
this pull request
May 3, 2026
…endabot triage subclass identified (#1434) #1197 rebased to clear stale cancelled CI; #1194 has real codeql-action-4.35.3 csharp regression (out of scope for autonomous fix); #1433 wait-ci. Skip-discipline cumulative: #1106/#1112/#1200/#1107/#1181/#1182/#1183/#659/#1194 — all properly skipped per maintainer-gated discipline. Session-arc: many bounded fixes → diminishing → drained-modulo-maintainer-gates. Cumulative 6 PRs merged via autonomous cron-loop in maintainer rest window. Co-authored-by: Claude Opus 4.7 <noreply@anthropic.com>
2 tasks
AceHack
added a commit
that referenced
this pull request
May 3, 2026
…#1194 + #1197); cumulative 10 PRs in session (#1435) Findings encoded for future-Otto bounded-dependabot triage: 1. Dependabot-merge-mechanism: in this repo, dependabot PRs self-merge when required checks pass via daemon/app pathway; no need to arm `gh pr merge --auto` (it returns silently). Required-checks-green IS the trigger. 2. Transient-external-failure-rerun pattern: external infrastructure 502s (curl on github.com/leanprover/elan/releases) are DST external invariants — honest signal not real failures. Right response: `gh run rerun --failed`, NOT `gh pr merge --admin`. Discipline at scale: 10 PRs merged + 7 properly skipped per skip-discipline. The autonomous loop converges cleanly when bounded fraction exhausted. Co-authored-by: Claude Opus 4.7 <noreply@anthropic.com>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Bumps the github-actions-minor-patch group with 1 update: github/codeql-action.
Updates
github/codeql-actionfrom 4.35.2 to 4.35.3Release notes
Sourced from github/codeql-action's releases.
Changelog
Sourced from github/codeql-action's changelog.
... (truncated)
Commits
e46ed2cMerge pull request #3867 from github/update-v4.35.3-8c6e48dbeb73d1d1Add changelog entry for #385324e0bb0Reorder changelog entriesec298daUpdate changelog for v4.35.38c6e48dMerge pull request #3865 from github/update-bundle/codeql-bundle-v2.25.37190983Add changelog note2bb2095Update default bundle to codeql-bundle-v2.25.37851e55Merge pull request #3850 from github/mbg/private-registry/cloudsmith-gcp262a15fAdd generic non-printable chars test for OIDC configsa6109b1Merge pull request #3853 from github/mbg/start-proxy/improved-checksDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting
@dependabot rebase.Dependabot commands and options
You can trigger Dependabot actions by commenting on this PR:
@dependabot rebasewill rebase this PR@dependabot recreatewill recreate this PR, overwriting any edits that have been made to it@dependabot show <dependency name> ignore conditionswill show all of the ignore conditions of the specified dependency@dependabot ignore <dependency name> major versionwill close this group update PR and stop Dependabot creating any more for the specific dependency's major version (unless you unignore this specific dependency's major version or upgrade to it yourself)@dependabot ignore <dependency name> minor versionwill close this group update PR and stop Dependabot creating any more for the specific dependency's minor version (unless you unignore this specific dependency's minor version or upgrade to it yourself)@dependabot ignore <dependency name>will close this group update PR and stop Dependabot creating any more for the specific dependency (unless you unignore this specific dependency or upgrade to it yourself)@dependabot unignore <dependency name>will remove all of the ignore conditions of the specified dependency@dependabot unignore <dependency name> <ignore condition>will remove the ignore condition of the specified dependency and ignore conditions