Skip to content

Move the release pipeline to a GitHub action#171

Merged
aleks-p merged 10 commits intomainfrom chore/move-to-gh-actionsNov 28, 2024