Repository navigation

Add opt-in /Os for Windows Release builds #3922

	name: 'PR description checker'
Check warning on line 1 in .github/workflows/pr-description-checker.yml View workflow run for this annotation GitHub Actions / PR description checker 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
	- edited
	- reopened
	- labeled
	- unlabeled
	jobs:
	check-pr-description:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@0717577d45739eb3c851188b29f50ed6c0b2194e # v2.8.0
	- uses: jadrol/pr-description-checker-action@c659fed338a52d657d34462c8bc7fc1f65d25758 # v1.0.0
	id: description-checker
	with:
	repo-token: ${{ secrets.GITHUB_TOKEN }}