Skip to content

Comments

Improved release process and its documentation#338

Merged
LucaMarconato merged 1 commit intomainfrom
improve-release-process
Jan 13, 2025
Merged

Improved release process and its documentation#338
LucaMarconato merged 1 commit intomainfrom
improve-release-process

Conversation

@LucaMarconato
Copy link
Member

@LucaMarconato LucaMarconato commented Jan 4, 2025

@LucaMarconato LucaMarconato merged commit a7b5faa into main Jan 13, 2025
5 checks passed
@LucaMarconato LucaMarconato deleted the improve-release-process branch January 13, 2025 19:57
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.

1 participant