Allow manual trigger of workflow #13

	name: Build and deploy
	on:
	push:
	branches:
	- main
	workflow_dispatch:
	concurrency:
	group: ${{ github.workflow }}-${{ github.ref }}
	cancel-in-progress: true
	jobs:
	build:
	name: Build and deploy
	runs-on: ubuntu-latest
	steps:
	- name: Check out
	uses: actions/checkout@v4

	- name: Set up JDK 17
	uses: actions/setup-java@v4
	with:
	java-version: '17'
	distribution: 'liberica'
	cache: 'maven'

	- name: Cache Maven/Gradle repositories for tests
	uses: actions/cache@v4
	with:
	path: \|
	/tmp/maven-version-resolver-cache
	/tmp/homes
	# See https://github.com/actions/cache/blob/main/tips-and-workarounds.md#update-a-cache
	key: test-repositories-${{ runner.os }}-${{ github.run_id }}
	restore-keys: \|
	test-repositories-${{ runner.os }}

	- name: Build with Maven
	run: ./mvnw --batch-mode --update-snapshots verify

	- name: Set up Azure
	uses: azure/login@cb79c773a3cfa27f31f25eb3f677781210c9ce3d
	with:
	creds: ${{ secrets.AZURE_CREDENTIALS_SPRING_IO }}

	- name: Set up Azure Spring Extension
	run: az extension add --name spring

	- name: Deploy
	run: \|
	az spring app deploy \
	--name start-spring-io \
	--service spring-io \
	--resource-group spring-io \
	--artifact-path start-site/target/start-site-exec.jar

Provide feedback