tree dc20464bc8d83e185fdd40a93e923340800a2f05
parent 6d981d2011d340fa4271412d70ae90954786111d
parent 7e54885653c55ced7be475b6152c2854c92597f7
author margaretha <margaretha@ids-mannheim.de> 1782205363 +0200
committer Gerrit Code Review <gerrit2@korap.ids-mannheim.de> 1782205363 +0200

Merge "Add GitHub release workflow for version tag pushes"