feat: add release-version and development-version overrides to release workflow

[nikagra]

Summary

Adds two optional inputs to the Release workflow to eliminate the need for manual version-bump PRs before releasing.

Problem

Previously, to release e.g. 0.14.0.0 from a 0.13.0.1-SNAPSHOT codebase, you had to open a separate PR bumping all 7 pom.xml files to 0.14.0.0-SNAPSHOT first, wait for it to merge, then trigger the Release workflow. There was no way to specify the release version at trigger time.

Solution

• release-version — specify the exact version to release (e.g. 0.14.0.0). Without this, Maven defaults to stripping -SNAPSHOT from the current version.
• development-version — specify the next SNAPSHOT version after the release (e.g. 0.15.0.0-SNAPSHOT). Without this, Maven auto-increments the last digit (e.g. 0.14.0.1-SNAPSHOT).

New release flow for 0.14.0.0

Trigger the Release workflow with:

• release-version: 0.14.0.0
• development-version: 0.14.0.1-SNAPSHOT (or leave blank to auto-increment)

No manual pom.xml changes required.

Changes

• Makefile: release-prepare target now reads RELEASE_VERSION and RELEASE_DEVELOPMENT_VERSION env vars and passes them as -DreleaseVersion / -DdevelopmentVersion to mvn release:prepare when set. Also fixes skip-tests handling so it applies to release:prepare (not just release:perform).
• .github/workflows/release.yml: adds release-version and development-version inputs, passes them as env vars to the Prepare release step.

[Copilot]

Pull request overview

This PR enhances the repository’s release automation by allowing callers of the GitHub Actions Release workflow to override the Maven release and next development versions at trigger time, reducing the need for separate version-bump PRs.

Changes:

• Add release-version and development-version optional inputs to the Release workflow and pass them into the release preparation step.
• Update release-prepare in the Makefile to optionally pass -DreleaseVersion and -DdevelopmentVersion to mvn release:prepare.
• Extend the release preparation step to optionally skip tests during release:prepare.

Reviewed changes

Copilot reviewed 2 out of 2 changed files in this pull request and generated 2 comments.

File	Description
Makefile	Adds env-driven flags for Maven release:prepare (release/development version overrides and skip-tests handling).
.github/workflows/release.yml	Introduces new workflow_dispatch inputs and wires them into the Prepare release step via env vars.

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.