Skip to content

[20023] Fix documentation CI branch #4089

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 2 commits into from
Dec 4, 2023
Merged

Conversation

EduPonz
Copy link

@EduPonz EduPonz commented Dec 3, 2023

Description

The doc CI trigger was wrongly set to push and PR events to 2.6.x branch

Contributor Checklist

  • Commit messages follow the project guidelines.
  • N/A: The code follows the style guidelines of this project.
  • N/A: Tests that thoroughly check the new feature have been added/Regression tests checking the bug and its fix have been added; the added tests pass locally
  • N/A: Any new/modified methods have been properly documented using Doxygen.
  • N/A: Changes are ABI compatible.
  • N/A: Changes are API compatible.
  • N/A: New feature has been added to the versions.md file (if applicable).
  • N/A: New feature has been documented/Current behavior is correctly described in the documentation.
  • N/A: Applicable backports have been included in the description.

Reviewer Checklist

  • The PR has a milestone assigned.
  • Check contributor checklist is correct.
  • Check CI results: changes do not issue any warning.
  • Check CI results: failing tests are unrelated with the changes.

@EduPonz EduPonz added this to the v2.10.3 milestone Dec 3, 2023
@EduPonz EduPonz added the skip-ci Automatically pass CI label Dec 3, 2023
@EduPonz
Copy link
Author

EduPonz commented Dec 3, 2023

@richiprosima please test this

@EduPonz EduPonz added ci-pending PR which CI is running and removed skip-ci Automatically pass CI labels Dec 3, 2023
@EduPonz EduPonz force-pushed the hotfix/2.10.x/gh_doc_ci_branch branch from e0a5707 to 5948399 Compare December 4, 2023 07:22
@EduPonz EduPonz force-pushed the hotfix/2.10.x/gh_doc_ci_branch branch from 5948399 to c8b1be7 Compare December 4, 2023 08:24
@MiguelCompany MiguelCompany removed the ci-pending PR which CI is running label Dec 4, 2023
@EduPonz EduPonz merged commit f54141f into 2.10.x Dec 4, 2023
@EduPonz EduPonz deleted the hotfix/2.10.x/gh_doc_ci_branch branch December 4, 2023 09:27
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.

2 participants