Skip to content

ci: fixes version for PR#32

Merged
hav-johwal merged 1 commit intomainfrom
ci/doc-version
Jan 22, 2025
Merged

ci: fixes version for PR#32
hav-johwal merged 1 commit intomainfrom
ci/doc-version

Conversation

@hav-johwal
Copy link
Contributor

No description provided.

@hav-johwal hav-johwal merged commit 5e733da into main Jan 22, 2025
1 check passed
@hav-johwal hav-johwal deleted the ci/doc-version branch January 22, 2025 08:38
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