Bump github/codeql-action from 3.25.12 to 3.25.13 #3384

	name: 'OPS status checker'

	on:
	pull_request_target:
	types: [opened, synchronize, reopened]

	permissions:
	contents: read

	jobs:
	status_checker_job:
	name: Look for build warnings
	runs-on: ubuntu-latest
	permissions:
	statuses: write
	issues: write
	pull-requests: write
	steps:
	- name: Harden Runner
	uses: step-security/harden-runner@17d0e2bd7d51742c71671bd19fa12bdc9d40a3d6 # v2.8.1
	with:
	egress-policy: audit

	- uses: actions/checkout@692973e3d937129bcbf40652eb9f2f61becf3332 # v4.1.7
	with:
	ref: ${{ github.event.pull_request.head.sha }}

	- uses: dotnet/docs-tools/actions/status-checker@5e8bcc78465d45a7544bba56509a1a69922b6a5a # main
	with:
	repo_token: ${{ secrets.GITHUB_TOKEN }}
	docs_path: "docs"
	url_base_path: "dotnet"

Provide feedback