Skip to content

Conversation

david-crespo
Copy link
Collaborator

The release on 2d9ac13 failed, claiming there was already a 4.0.0, which there isn't, so I don't know what that's about. Then I tried making another PR to make a patch release, which I realized halfway through would just bump 3.1.0 to 3.1.1. So here I am manually bumping to 4.0.1, and then we can figure out how to make this release later.

@david-crespo david-crespo merged commit c0f19bc into master Oct 15, 2025
1 of 3 checks passed
@david-crespo david-crespo deleted the bump-4-0-1 branch October 15, 2025 01:23
Copy link
Contributor

🚀 PR was released in v4.0.2 🚀

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant