Fix release workflow #6

	name: Release

	on:
	workflow_dispatch:
	inputs:
	releaseVersion:
	description: "Version to use for the release."
	required: true
	default: "X.Y.Z"
	developmentVersion:
	description: "Version to use for further development"
	required: true
	default: "X.Y.Z-RIE"

	jobs:
	Release:
	environment: Release
	runs-on: ubuntu-latest
	steps:
	- name: Configure Git User # may be removed after https://github.com/actions/checkout/issues/13 is resolved
	uses: actions/checkout@v3
	run: \|
	git config user.email "${{ github.actor }}@users.noreply.github.com"
	git config user.name "${{ github.actor }}"
	- name: Set up python
	uses: actions/setup-python@v5
	with:
	python-version: '3.11'
	- name: Build
	uses: actions/checkout@v4
	run: make compile-with-docker-all
	- name: Release
	uses: softprops/action-gh-release@v2
	if: startsWith(github.ref, 'refs/tags/')
	with:
	files: \|
	aws-lambda-rie
	aws-lambda-rie-arm64
	aws-lambda-rie-x64
	# --------
	# Add a step to upload each binary asset
	# - name: Upload aws-lambda-rie
	# uses: actions/upload-artifact@v2
	# with:
	# name: aws-lambda-rie
	# path: /path/to/aws-lambda-rie

	# - name: Upload aws-lambda-rie-arm64
	# uses: actions/upload-artifact@v2
	# with:
	# name: aws-lambda-rie-arm64
	# path: /path/to/aws-lambda-rie-arm64

	# - name: Upload aws-lambda-rie-x64
	# uses: actions/upload-artifact@v2
	# with:
	# name: aws-lambda-rie-x64
	# path: /path/to/aws-lambda-rie-x64

Provide feedback