Skip to content

ci: bump mirurobotics/.github reusable workflows to 6472b6d - #7

Merged
ben-miru merged 1 commit into
mainfrom
ci/bump-dotgithub-workflows
Oct 1, 2026
Merged

ben-miru merged 1 commit into
mainfrom
ci/bump-dotgithub-workflows

Conversation

@ben-miru

@ben-miru ben-miru commented Oct 1, 2026 •

Copy link
Copy Markdown
Contributor

Summary

Note: pull_request_target runs the caller from the base branch, so this PR is still reviewed with the old pin; the new effort applies to PRs after merge.

🤖 Generated with Claude Code


View with [code]smith Autofix with [code]smith
Need help on this PR? Tag @codesmith-bot with what you need. Autofix is disabled.

Picks up high-effort AI review (mirurobotics/.github#3).

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Comment thread .github/workflows/ai-review.yml
@github-actions

github-actions Bot commented Oct 1, 2026

Copy link
Copy Markdown

AI review: approve for 6dc0100

This is a one-line CI change: it moves the pinned mirurobotics/.github AI-review workflow from commit 78e2fba to 6472b6d. It is still pinned to a full SHA, and the trigger, permissions and secrets are unchanged. I didn't find any blocking problems in this repo. I couldn't check what changed in the upstream workflow between the two commits because fetching the upstream comparison wasn't approved here. The PR says the only change is running the review at --effort high, but I haven't verified that. I left an inline comment asking a human to check the upstream diff before merging, since this workflow handles secrets and has write permissions.

Review run

@ben-miru
ben-miru merged commit 13d7253 into main Oct 1, 2026
3 checks passed
@ben-miru
ben-miru deleted the ci/bump-dotgithub-workflows branch October 1, 2026 19:58
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