Update tomcat to v10.1.13 {patch} #424

	name: UpdateChecksums
	on:
	push:
	branches: [ renovate/** ]
	paths:
	- 'gradle/libs.versions.toml'

	permissions: read-all

	jobs:
	build:
	name: Dependency checksum pin action
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@f43a0e5ff2bd294095638e18286ca9a3d1956744 # v3.6.0
	with:
	fetch-depth: 0
	token: ${{ secrets.PUBLISH_KEY }}
	- name: Set up JDK 17
	uses: actions/setup-java@cd89f46ac9d01407894225f350157564c9c7cee2 # v3.12.0
	with:
	distribution: temurin
	java-version: 17
	- name: "Remove previous version"
	run: cp gradle/verification-metadata-clean.xml gradle/verification-metadata.xml
	- name: "Update checksums"
	uses: gradle/gradle-build-action@243af859f8ca30903d9d7f7936897ca0358ba691 # v2.7.1
	with:
	cache-disabled: true
	arguments: --write-verification-metadata sha256
	- name: "Git commit"
	run: \|
	git config --global user.name 'Esta Nagy'
	git config --global user.email 'nagyesta@gmail.com'
	git add gradle/verification-metadata.xml
	git commit -asm "Pinning dependency checksums {patch}"
	git push -f --set-upstream origin ${{ github.ref_name }}

Provide feedback