Extract webclient ID from remote installer filename if possible. #5851

	name: Target & Verify

	# === Triggers ===
	'on':
	pull_request:
	types:
	- edited
	- labeled
	- opened
	- synchronize
	- reopened

	# === JOBS ===
	jobs:
	# === Target & Verify PR ===
	verifypr:
	name: Target & Verify PR
	runs-on: ubuntu-20.04
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	JIRA_USERNAME: ${{ secrets.JIRA_EMAIL }}
	JIRA_TOKEN: ${{ secrets.JIRA_TOKEN }}
	concurrency:
	group: ${{ github.ref }}
	cancel-in-progress: true
	timeout-minutes: 5

	steps:
	- # === Checkout code ===
	name: Checkout code
	uses: actions/checkout@v2

	- # === Install Go ===
	name: Install Go
	uses: actions/setup-go@v3
	with:
	go-version: '1.20.x'

	- # === Install State Tool ===
	name: Install State Tool
	uses: ActiveState/setup-state-tool@v1

	- # === Preprocess ===
	name: Preprocess
	shell: bash
	run: state run preprocess -v

	- # === Set Target PR & FixVersion ===
	name: Set Target PR and FixVersion
	if: github.event.action == 'opened' \|\| github.event.action == 'reopened'
	shell: bash
	run: go run scripts/ci/target-version-pr/main.go ${{ github.event.pull_request.number }}

	- # === Actually Verify PR ===
	name: Verify PR
	shell: bash
	run: go run scripts/ci/verify-pr/main.go ${{ github.event.pull_request.number }}

Provide feedback