Repository navigation

build semantic plans in one constructor #241

	# Label pull requests from changed paths (.github/labeler.yml).
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
	# https://github.com/actions/labeler
	name: Pull Request Labeler

	on:
	- pull_request_target

	permissions:
	contents: read

	jobs:
	labeler:
	runs-on: ubuntu-latest
	permissions:
	contents: read
	pull-requests: write
	steps:
	- uses: actions/labeler@bf12e9b00b37c5c0ca2b87b79b2daf7891dbda13 # v7.0.0