Skip to content

Use reusable wf for pre-commit (backport #910) - #912

Merged
christophfroehlich merged 2 commits into
kiltedfrom
mergify/bp/kilted/pr-910
Aug 7, 2026
Merged

Use reusable wf for pre-commit (backport #910)#912
christophfroehlich merged 2 commits into
kiltedfrom
mergify/bp/kilted/pr-910

Conversation

@mergify

@mergify mergify Bot commented Aug 7, 2026

Copy link
Copy Markdown
Contributor

Description

Format in #900 failed because it runs on 22.04

Referencing the reusable workflow with correct ros_distro should fix this.

Is this user-facing behavior change?

no


This is an automatic backport of pull request #910 done by Mergify.

(cherry picked from commit ef0d25b)

# Conflicts:
#	.github/workflows/ci-format.yaml
@mergify mergify Bot added the conflicts label Aug 7, 2026
@mergify
mergify Bot requested a review from ahcorde as a code owner August 7, 2026 09:56
@mergify

mergify Bot commented Aug 7, 2026

Copy link
Copy Markdown
Contributor Author

Cherry-pick of ef0d25b has failed:

On branch mergify/bp/kilted/pr-910
Your branch is up to date with 'origin/kilted'.

You are currently cherry-picking commit ef0d25b.
  (fix conflicts and run "git cherry-pick --continue")
  (use "git cherry-pick --skip" to skip this patch)
  (use "git cherry-pick --abort" to cancel the cherry-pick operation)

Unmerged paths:
  (use "git add <file>..." to mark resolution)
	both modified:   .github/workflows/ci-format.yaml

no changes added to commit (use "git add" and/or "git commit -a")

To fix up this pull request, you can check it out locally. See documentation: https://docs.github.com/en/pull-requests/collaborating-with-pull-requests/reviewing-changes-in-pull-requests/checking-out-pull-requests-locally

@mergify mergify Bot added the conflicts label Aug 7, 2026
@mergify mergify Bot mentioned this pull request Aug 7, 2026
@mergify

mergify Bot commented Aug 7, 2026

Copy link
Copy Markdown
Contributor Author

Tick the box to add this pull request to the merge queue (same as @mergifyio queue).

  • Queue this pull request

@christophfroehlich
christophfroehlich merged commit 4b00f0c into kilted Aug 7, 2026
3 of 6 checks passed
@christophfroehlich
christophfroehlich deleted the mergify/bp/kilted/pr-910 branch August 7, 2026 10:00
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant