Skip to content

chore: Add PR links to changelog - #208

Merged
edgarrmondragon merged 2 commits into
mainfrom
chore/pr-link
Aug 28, 2026
Merged

chore: Add PR links to changelog#208
edgarrmondragon merged 2 commits into
mainfrom
chore/pr-link

Conversation

@edgarrmondragon

Copy link
Copy Markdown

No description provided.

@edgarrmondragon edgarrmondragon self-assigned this Aug 28, 2026
@github-actions github-actions Bot added the chore Maintenance task label Aug 28, 2026
Signed-off-by: Edgar Ramírez Mondragón <edgarrm358@gmail.com>
@edgarrmondragon
edgarrmondragon marked this pull request as ready for review August 28, 2026 23:22
@read-the-docs-community

read-the-docs-community Bot commented Aug 28, 2026

Copy link
Copy Markdown

Documentation build overview

📚 backoff | 🛠️ Build #34284031 | 📁 Comparing 2a63e8b against latest (a5ee238)

  🔍 Preview build  

1 file changed
± changelog.html

@edgarrmondragon
edgarrmondragon force-pushed the chore/pr-link branch 2 times, most recently from 9234876 to df5c210 Compare August 28, 2026 23:26
Signed-off-by: Edgar Ramírez Mondragón <edgarrm358@gmail.com>
@edgarrmondragon
edgarrmondragon added this pull request to the merge queue Aug 28, 2026
Merged via the queue into main with commit 34dd14f Aug 28, 2026
20 checks passed
@edgarrmondragon
edgarrmondragon deleted the chore/pr-link branch August 28, 2026 23:30
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

chore Maintenance task

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant