Skip to content

Fix CI for v0.2.0#89

Merged
Lore0599 merged 7 commits into
mainfrom
devel
Apr 17, 2026
Merged

Fix CI for v0.2.0#89
Lore0599 merged 7 commits into
mainfrom
devel

Conversation

@Lore0599
Copy link
Copy Markdown
Contributor

This PR added some CI fixes on top of the previously released v0.2.0.

@Lore0599 Lore0599 merged commit c6d9b93 into main Apr 17, 2026
7 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant