Skip to content

chore: Release v3 - #207

Merged
edgarrmondragon merged 1 commit into
mainfrom
release-v3
Aug 31, 2026
Merged

chore: Release v3#207
edgarrmondragon merged 1 commit into
mainfrom
release-v3

Conversation

@edgarrmondragon

Copy link
Copy Markdown

Closes #16

@edgarrmondragon edgarrmondragon added the skip-changelog Exclude this PR from the changelog and release notes label Aug 28, 2026
@edgarrmondragon edgarrmondragon self-assigned this Aug 28, 2026
@github-actions github-actions Bot added the chore Maintenance task label Aug 28, 2026
@edgarrmondragon edgarrmondragon added this to the v3 milestone Aug 28, 2026
@read-the-docs-community

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

Copy link
Copy Markdown

Documentation build overview

📚 backoff | 🛠️ Build #34305600 | 📁 Comparing 589d991 against latest (e0728b1)

  🔍 Preview build  

3 files changed
± changelog.html
± api/reference.html
± user-guide/context-manager.html

@edgarrmondragon
edgarrmondragon force-pushed the release-v3 branch 2 times, most recently from 85828b1 to 5d27f1e Compare August 28, 2026 23:39
Closes #16

Signed-off-by: Edgar Ramírez Mondragón <edgarrm358@gmail.com>
@edgarrmondragon
edgarrmondragon added this pull request to the merge queue Aug 31, 2026
Merged via the queue into main with commit 2a97dba Aug 31, 2026
20 checks passed
@edgarrmondragon
edgarrmondragon deleted the release-v3 branch August 31, 2026 04:51
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

chore Maintenance task skip-changelog Exclude this PR from the changelog and release notes

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Prepare for v3 release

1 participant