Skip to content

chore(release): bump version to v4.0.1 - #577

Merged
carlospedreira merged 1 commit into
mainfrom
release/v4.0.1
Jul 3, 2026
Merged

chore(release): bump version to v4.0.1#577
carlospedreira merged 1 commit into
mainfrom
release/v4.0.1

Conversation

@aselim31

@aselim31 aselim31 commented Jul 2, 2026

Copy link
Copy Markdown
Collaborator

Linked issue

Closes #393

@github-actions

github-actions Bot commented Jul 2, 2026

Copy link
Copy Markdown
Contributor

This PR is missing a linked issue reference.

Please add one of the following to the PR description:

  • Closes #<issue-number>
  • Fixes #<issue-number>
  • Resolves #<issue-number>

If this is a trivial change that doesn't need an issue, ask a maintainer to add the no-issue label.

@carlospedreira carlospedreira left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

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

Approved after checking CI, review threads, and v4.0.1 release/tag state.

@carlospedreira
carlospedreira merged commit 623b965 into main Jul 3, 2026
7 of 8 checks passed
@carlospedreira
carlospedreira deleted the release/v4.0.1 branch July 3, 2026 08:06
@github-project-automation github-project-automation Bot moved this from Inbox to Done in Dotbot Product Backlog Jul 3, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

CI: Bump & Release workflow fails — protected branch blocks direct push to main

2 participants