Skip to content

Never trigger release process via UI, need to push tag by hand always#16

Merged
mkurz merged 1 commit intomainfrom mkurz-patch-1Jan 10, 2024

Commits

Commits on Jan 10, 2024