Skip to content

chore: Release v3.1.0 - #235

Merged
edgarrmondragon merged 1 commit into
mainfrom
release/v3.1.0
Nov 10, 2026
Merged

edgarrmondragon merged 1 commit into
mainfrom
release/v3.1.0

Conversation

@edgarrmondragon

Copy link
Copy Markdown

SSIA

Signed-off-by: Edgar Ramírez-Mondragón <edgarrm358@gmail.com>
@edgarrmondragon edgarrmondragon self-assigned this Nov 10, 2026
@github-actions github-actions Bot added the chore Maintenance task label Nov 10, 2026
@read-the-docs-community

Copy link
Copy Markdown

Documentation build overview

📚 backoff | 🛠️ Build #35774275 | 📁 Comparing 3cdac9d against latest (5838929)

  🔍 Preview build  

1 file changed
± changelog.html

@edgarrmondragon
edgarrmondragon marked this pull request as ready for review November 10, 2026 03:32
@edgarrmondragon
edgarrmondragon added this pull request to the merge queue Nov 10, 2026
@edgarrmondragon
edgarrmondragon removed this pull request from the merge queue due to a manual request Nov 10, 2026
@edgarrmondragon edgarrmondragon added the skip-changelog Exclude this PR from the changelog and release notes label Nov 10, 2026
@edgarrmondragon
edgarrmondragon added this pull request to the merge queue Nov 10, 2026
Merged via the queue into main with commit 054f353 Nov 10, 2026
21 checks passed
@edgarrmondragon
edgarrmondragon deleted the release/v3.1.0 branch November 10, 2026 03:35
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.

1 participant