Skip to content

Simplify release workflow, rename final artifacts#25

Merged
krzkaczor merged 2 commits intomainfrom new-release-managementNov 3, 2023

Commits