Implement head resizing (and reversal) for larrow/rarrow/darrow #15453

	---
	name: "CodeQL"

	on:
	push:
	branches: [main, v*.x]
	pull_request:
	# The branches below must be a subset of the branches above
	branches: [main]
	schedule:
	- cron: '45 19 * * 1'

	jobs:
	analyze:
	name: Analyze
	runs-on: ubuntu-latest
	permissions:
	actions: read
	contents: read
	security-events: write

	strategy:
	fail-fast: false
	matrix:
	language: ['c-cpp', 'javascript', 'python']

	steps:
	- name: Checkout repository
	uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2
	with:
	persist-credentials: false

	- name: Initialize CodeQL
	uses: github/codeql-action/init@fc7e4a0fa01c3cca5fd6a1fddec5c0740c977aa2 # v3.28.14
	with:
	languages: ${{ matrix.language }}

	- name: Build compiled code
	if: matrix.language == 'c-cpp'
	run: \|
	pip install --user --upgrade pip
	pip install --user -v .

	- name: Perform CodeQL Analysis
	uses: github/codeql-action/analyze@fc7e4a0fa01c3cca5fd6a1fddec5c0740c977aa2 # v3.28.14

Provide feedback