Skip to content

Conversation

@Joibel
Copy link
Member

@Joibel Joibel commented Nov 25, 2025

@tico24 moved this repo a long time ago, so the old URL links to the new URL. I'm just updating the link to the current location here.

@Joibel Joibel added the area/docs Incorrect, missing, or mistakes in docs label Nov 25, 2025
Copy link
Member

@tico24 tico24 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM once you appease the PR title bot

@Joibel Joibel changed the title Update CI example link in documentation docs: update CI example link in documentation Nov 25, 2025
@Joibel Joibel enabled auto-merge (squash) November 25, 2025 16:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

area/docs Incorrect, missing, or mistakes in docs

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants