Skip to content

Improve paths filtering of docs CI job (backport #1796)#1797

Merged
christophfroehlich merged 2 commits intohumblefrom
mergify/bp/humble/pr-1796
Jul 3, 2025
Merged

Improve paths filtering of docs CI job (backport #1796)#1797
christophfroehlich merged 2 commits intohumblefrom
mergify/bp/humble/pr-1796

Conversation

@mergify
Copy link
Copy Markdown
Contributor

@mergify mergify Bot commented Jul 3, 2025

ros-controls/control_toolbox#424


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

(cherry picked from commit 851f10a)

# Conflicts:
#	.github/workflows/rolling-check-docs.yml
@mergify mergify Bot added the conflicts label Jul 3, 2025
@mergify
Copy link
Copy Markdown
Contributor Author

mergify Bot commented Jul 3, 2025

Cherry-pick of 851f10a has failed:

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

You are currently cherry-picking commit 851f10a.
  (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)

Changes to be committed:
	modified:   .github/workflows/humble-check-docs.yml
	modified:   .github/workflows/jazzy-check-docs.yml

Unmerged paths:
  (use "git add <file>..." to mark resolution)
	both modified:   .github/workflows/rolling-check-docs.yml

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

@christophfroehlich christophfroehlich merged commit 981d5bc into humble Jul 3, 2025
3 checks passed
@christophfroehlich christophfroehlich deleted the mergify/bp/humble/pr-1796 branch July 3, 2025 20:17
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