⚡ O(1) CFG successor lookup in IR verifier #20

	name: Auto Ready and Merge
Check warning on line 1 in .github/workflows/auto-ready-merge.yml View workflow run for this annotation GitHub Actions / Auto Ready and Merge Workflow execution policy warning (evaluate mode) On November 2, 2026, GitHub will restrict `pull_request_target` on public repositories by default. To continue allowing the event trigger, configure an Actions policy. Learn more: https://gh.io/securely-using-pull_request_target#default-policy-for-pull_request_target

	on:
	pull_request_target:
	types: [opened, reopened, ready_for_review, converted_to_draft]

	permissions:
	pull-requests: write
	contents: write

	jobs:
	ready-and-automerge:
	runs-on: ubuntu-latest
	steps:
	- name: Mark PR Ready for Review
	if: github.event.pull_request.draft == true
	env:
	GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	run: \|
	gh pr ready "${{ github.event.pull_request.html_url }}"

	- name: Enable Auto-Merge
	env:
	GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	run: \|
	gh pr merge "${{ github.event.pull_request.html_url }}" --auto --merge

Navigation Menu