release_0.1 protected

Timo Drick

@timod

202535ee · Merge branch 'feature/ci_deployment' into 'develop' · Dec 11, 2022

Release: Version 0.1

Initial release