Repository navigation

Release Distributions [40020896418-1] #41

	name: Release Distributions
	run-name: >-
	${{ inputs.request_id && format('{0} [{1}]', github.workflow, inputs.request_id)
	\|\| github.workflow }}

	# Release Please dispatches this for each release pull request and reports its result through the
	# required Verify status. Publish uploads these distributions once the release is tagged instead of
	# rebuilding them, but only from a successful run of this workflow whose commit has exactly the
	# release tag's tree; otherwise it builds from the tag.
	on:
	workflow_dispatch:
	inputs:
	request_id:
	description: "Release Please attempt that dispatched this run; leave empty for manual runs"
	required: false
	type: string

	permissions:
	contents: read

	jobs:
	distributions:
	name: Distributions
	uses: ./.github/workflows/build-distributions.yml
	with:
	# Pin the dispatched commit so every job builds the tree this run is matched on.
	ref: ${{ github.sha }}
	upload: true
	# Comfortably longer than a release pull request stays open before it is merged and published.
	retention-days: 30