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
background
wait
wait-all
cancel
parallel
Loading