Move optimizer rules onto Array vtable #10780

	# Runs once when we add the `benchmark-sql` tag to a pull request.

	name: PR SQL Benchmarks

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

	on:
	pull_request:
	types: [labeled, synchronize]
	branches: ["develop"]
	workflow_dispatch: { }

	permissions:
	actions: write # for removing labels
	contents: read
	pull-requests: write # for commenting on PRs
	id-token: write # enables AWS-GitHub OIDC
	deployments: write # for Polar Signals profiling

	jobs:
	label_trigger:
	runs-on: ubuntu-latest
	timeout-minutes: 120
	if: ${{ contains(github.event.head_commit.message, '[benchmark-sql]') \|\| github.event.label.name == 'benchmark-sql' && github.event_name == 'pull_request' }}
	steps:
	# We remove the benchmark label first so that the workflow can be re-triggered.
	- uses: actions-ecosystem/action-remove-labels@v1
	with:
	labels: benchmark-sql

	sql:
	needs: label_trigger
	uses: ./.github/workflows/sql-benchmarks.yml
	secrets: inherit
	with:
	mode: "pr"

Provide feedback