Skip to content

Conversation

@tsnobip
Copy link
Member

@tsnobip tsnobip commented Jan 15, 2024

  • Add CI to 11.0_release
  • Document which branch to target for PRs

@tsnobip tsnobip mentioned this pull request Jan 15, 2024
2 tasks
@fhammerschmidt fhammerschmidt merged commit f7b146d into 11.0_release Jan 15, 2024
@tsnobip tsnobip deleted the add_ci_to_release_branch branch January 15, 2024 12:11
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.

3 participants