Manual CI #89

	# This workflow invokes other workflows with the requested Dafny build.
	# It is primarily meant for manual compatibility testing,
	# such as trying out what the next pending nightly build will do ahead of time.
	name: Manual CI

	on:
	workflow_dispatch:
	inputs:
	dafny:
	description: "The Dafny version to use"
	required: true
	type: string
	regenerate-code:
	description: "Regenerate code using smithy-dafny"
	required: false
	default: true
	type: boolean

	jobs:
	manual-ci-format:
	uses: ./.github/workflows/library_format.yml
	with:
	dafny: ${{ inputs.dafny }}
	regenerate-code: ${{ inputs.regenerate-code }}
	manual-ci-verification:
	uses: ./.github/workflows/library_dafny_verification.yml
	with:
	dafny: ${{ inputs.dafny }}
	regenerate-code: ${{ inputs.regenerate-code }}
	manual-ci-java:
	uses: ./.github/workflows/library_java_tests.yml
	with:
	dafny: ${{ inputs.dafny }}
	regenerate-code: ${{ inputs.regenerate-code }}
	manual-ci-net:
	uses: ./.github/workflows/library_net_tests.yml
	with:
	dafny: ${{ inputs.dafny }}
	regenerate-code: ${{ inputs.regenerate-code }}
	manual-ci-python:
	uses: ./.github/workflows/library_python_tests.yml
	with:
	dafny: ${{ inputs.dafny }}
	regenerate-code: ${{ inputs.regenerate-code }}
	manual-interop-test:
	uses: ./.github/workflows/library_interop_tests.yml
	with:
	dafny: ${{ inputs.dafny }}
	regenerate-code: ${{ inputs.regenerate-code }}

Provide feedback