Since `${{ github.event.release.tag_name }}` is not available, compute the JAR filename ourselves to use in the upload workflow.
Since `${{ github.event.release.tag_name }}` is not available, compute the JAR filename ourselves to use in the upload workflow.

chimbori/crux,chimbori/crux