At the moment the distribution is published as a Maven package during the creation of the GitHub release. This makes access to the distribution Zip hard to download from CLI tools. We want to publish the distribution as a GitHub release asset instead
Rename the release title to use the tag name instead.
ddcprg
commented
1 year ago
At the moment the distribution is published as a Maven package during the creation of the GitHub release. This makes access to the distribution Zip hard to download from CLI tools. We want to publish the distribution as a GitHub release asset instead
Rename the release title to use the tag name instead.