Skip to content

chore: release 7.0.1#305

Merged
SimenB merged 2 commits intomasterfrom
release-v7.0.1
Sep 5, 2025
Merged

chore: release 7.0.1#305
SimenB merged 2 commits intomasterfrom
release-v7.0.1

Conversation

@github-actions
Copy link
Copy Markdown
Contributor

@github-actions github-actions bot commented Sep 5, 2025

🤖 I have created a release *beep* *boop*

7.0.1 (2025-09-05)

Bug Fixes


This PR was generated with Release Please. See documentation.

@nicolo-ribaudo
Copy link
Copy Markdown
Contributor

The CI failure is just because of the close-and-reopen.

@SimenB SimenB closed this Sep 5, 2025
@SimenB SimenB reopened this Sep 5, 2025
@SimenB
Copy link
Copy Markdown
Member

SimenB commented Sep 5, 2025

I need to close and reopen since GH refuses to let PRs by actions trigger CI... Maybe another one fixes it!

@SimenB
Copy link
Copy Markdown
Member

SimenB commented Sep 5, 2025

It did work, but master also needs to be up to date seemingly

@SimenB SimenB merged commit 72d918a into master Sep 5, 2025
7 checks passed
@github-actions
Copy link
Copy Markdown
Contributor Author

github-actions bot commented Sep 5, 2025

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

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants