Skip to content

CHORE: 0.3.0 pre-release - #10

Merged
dmkjfs merged 4 commits into
masterfrom
dev/0.3.0
Oct 23, 2025
Merged

CHORE: 0.3.0 pre-release#10
dmkjfs merged 4 commits into
masterfrom
dev/0.3.0

Conversation

@dmkjfs

@dmkjfs dmkjfs commented Oct 23, 2025

Copy link
Copy Markdown
Member

✏️ Short description

Support core@v0.3.0

@dmkjfs dmkjfs self-assigned this Oct 23, 2025
@dmkjfs dmkjfs added the chore This is chore label Oct 23, 2025
@dmkjfs dmkjfs closed this Oct 23, 2025
@dmkjfs dmkjfs reopened this Oct 23, 2025
@dmkjfs
dmkjfs merged commit b657890 into master Oct 23, 2025
6 checks passed
@dmkjfs
dmkjfs deleted the dev/0.3.0 branch October 23, 2025 13:48
@dmkjfs
dmkjfs restored the dev/0.3.0 branch October 23, 2025 13:52
@dmkjfs
dmkjfs deleted the dev/0.3.0 branch October 23, 2025 13:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

chore This is chore

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant