Repository navigation

fix: address review findings on the derived refresh, native solver and export #308

	name: "Pull Request Labeler"
Check warning on line 1 in .github/workflows/auto-labeler.yml View workflow run for this annotation GitHub Actions / Pull Request Labeler Workflow execution policy warning (evaluate mode) On December 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

	jobs:
	labeler:
	permissions:
	contents: read
	pull-requests: write
	runs-on: ubuntu-latest
	steps:
	- uses: actions/labeler@v7
	with:
	repo-token: "${{ secrets.GH_PAT }}"