Faster utf8 validation #13887

	# Licensed to the Apache Software Foundation (ASF) under one
	# or more contributor license agreements. See the NOTICE file
	# distributed with this work for additional information
	# regarding copyright ownership. The ASF licenses this file
	# to you under the Apache License, Version 2.0 (the
	# "License"); you may not use this file except in compliance
	# with the License. You may obtain a copy of the License at
	#
	# http://www.apache.org/licenses/LICENSE-2.0
	#
	# Unless required by applicable law or agreed to in writing,
	# software distributed under the License is distributed on an
	# "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
	# KIND, either express or implied. See the License for the
	# specific language governing permissions and limitations
	# under the License.

	name: dev_pr

	concurrency:
	group: ${{ github.repository }}-${{ github.head_ref \|\| github.sha }}-${{ github.workflow }}
	cancel-in-progress: true

	# Trigger whenever a PR is changed (title as well as new / changed commits)
	on:
	pull_request_target:
	types:
	- opened
	- edited
	- synchronize

	jobs:
	process:
	name: Process
	runs-on: ubuntu-latest
	permissions:
	contents: read
	pull-requests: write
	steps:
	- uses: actions/checkout@v4

	- name: Assign GitHub labels
	if: \|
	github.event_name == 'pull_request_target' &&
	(github.event.action == 'opened' \|\|
	github.event.action == 'synchronize')
	uses: actions/[email protected]
	with:
	repo-token: ${{ secrets.GITHUB_TOKEN }}
	configuration-path: .github/workflows/dev_pr/labeler.yml
	sync-labels: true

Provide feedback