Release #4

	---
	name: "Release"
	# Creates a draft release. No git tag is pushed; GitHub creates the tag
	# only once the draft release is published.
	on:
	workflow_dispatch:
	inputs:
	tag:
	description: >
	Tag, which the release is associated with. The tag is only
	created once the draft release is published.
	Should follow SemVer and is not allowed to exist already.
	required: true
	type: string

	jobs:
	release:
	runs-on: ubuntu-latest
	permissions:
	contents: write
	steps:
	- uses: actions/checkout@v4 # Determines the ref, which is used for the
	# release. For setting a different ref, all `needs` jobs need to be
	# adjusted. Currently, everything uses the default branch.

	- run: ls -lh

	- name: "Create draft release"
	# Fails, if a release for the tag already exists.
	env:
	GH_TOKEN: ${{ github.token }}
	run: \|
	gh release create ${{ inputs.tag }} \
	--draft \
	--prerelease \
	--notes "" \
	--target ${{ github.sha }} \
	executables.zip \
	assets/robotmk_core-1.0.0.mkp

Navigation Menu