Skip to content

chore: release 0.1.2#86

Merged
ilbertt merged 1 commit intomainfrom
release/0.1.2-mfas18
Oct 9, 2025
Merged

chore: release 0.1.2#86
ilbertt merged 1 commit intomainfrom
release/0.1.2-mfas18

Conversation

@pr-automation-bot-public
Copy link
Copy Markdown
Contributor

@pr-automation-bot-public pr-automation-bot-public bot commented Oct 9, 2025

After merging this PR, tag the merge commit with:

git tag 0.1.2
git push origin 0.1.2

@pr-automation-bot-public pr-automation-bot-public bot requested a review from a team as a code owner October 9, 2025 17:31
@ilbertt ilbertt merged commit 8ddc8a6 into main Oct 9, 2025
11 checks passed
@ilbertt ilbertt deleted the release/0.1.2-mfas18 branch October 9, 2025 17:35
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

1 more reviewer

@ilbertt ilbertt ilbertt approved these changes

Reviewers whose approvals may not affect merge requirements

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@ilbertt