Repository navigation

fix(tui): integrate #727 native navigation across module graphs #1113

	name: Pull Request Labeler
Check warning on line 1 in .github/workflows/labeler.yml View workflow run for this annotation GitHub Actions / Pull Request Labeler 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, synchronize]

	permissions:
	contents: read

	jobs:
	label:
	name: Apply area labels
	runs-on: ubuntu-latest
	permissions:
	contents: read
	pull-requests: write
	steps:
	# This privileged event reads configuration from the base branch only.
	# Never check out or execute code from the pull request in this job.
	- uses: actions/labeler@bf12e9b00b37c5c0ca2b87b79b2daf7891dbda13 # v7.0.0
	with:
	sync-labels: true