Add CI pipeline for releases and clean up the workflows#164
Merged
philipp-spiess merged 3 commits intomainfrom Aug 28, 2024
Merged
Add CI pipeline for releases and clean up the workflows#164philipp-spiess merged 3 commits intomainfrom
philipp-spiess merged 3 commits intomainfrom