Skip to content

Improve paths filtering of docs CI job #2367

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
Jul 3, 2025
Merged

Conversation

christophfroehlich
Copy link
Contributor

@christophfroehlich christophfroehlich added backport-humble This label should be used by maintainers only! Label triggers PR backport to ROS 2 humble. backport-jazzy This label should be used by maintainers only! Label triggers PR backport to ROS 2 jazzy. labels Jul 3, 2025
@christophfroehlich christophfroehlich merged commit c1386c5 into master Jul 3, 2025
5 checks passed
@christophfroehlich christophfroehlich deleted the pr/doc/wf branch July 3, 2025 18:49
mergify bot pushed a commit that referenced this pull request Jul 3, 2025
(cherry picked from commit c1386c5)
mergify bot pushed a commit that referenced this pull request Jul 3, 2025
(cherry picked from commit c1386c5)

# Conflicts:
#	.github/workflows/rolling-check-docs.yml
christophfroehlich pushed a commit that referenced this pull request Jul 3, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
backport-humble This label should be used by maintainers only! Label triggers PR backport to ROS 2 humble. backport-jazzy This label should be used by maintainers only! Label triggers PR backport to ROS 2 jazzy.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants