add release workflow which publishes releases to github - #116
Draft
FelixSchwarz wants to merge 1 commit into
Draft
add release workflow which publishes releases to github#116FelixSchwarz wants to merge 1 commit into
FelixSchwarz wants to merge 1 commit into
