Make GitHub action to automatically provide JAR files for releases #22
Description
Now, uploading the JAR files is still done manually (and I often forget...).
{{ message }}
Now, uploading the JAR files is still done manually (and I often forget...).