fix: Fixes git over azure devops Fixes #11705 #4915

	name: Docs

	on:
	push:
	branches:
	- main
	pull_request:
	branches:
	- main

	concurrency:
	group: ${{ github.workflow }}-${{ github.ref }}
	cancel-in-progress: true

	permissions:
	contents: read

	jobs:
	docs:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@b4ffde65f46336ab88eb53be808477a3936bae11 # v4.1.1
	- uses: actions/setup-python@0a5c61591373683505ea898e09a3ea4f39ef2b9c # v5.0.0
	with:
	python-version: 3.9
	- uses: actions/setup-go@0c52d547c9bc32b1aa3301fd7a9cb496313a4491 # v5.0.0
	with:
	go-version: '1.23'
	- uses: actions/setup-node@b39b52d1213e96004bfcb1c61a8a6fa8ab84f3e8 # v4.0.1
	with:
	node-version: "19"
	# Use the same make target both locally and on CI to make it easier to debug failures.
	- name: Build & Lint docs
	run: make docs
	# If linters auto-fix issues, files will be changed. If so, fail the build.
	- name: Check if linters made changes
	run: git diff --exit-code
	# Upload the site so reviewers see it.
	- name: Upload Docs Site
	uses: actions/upload-artifact@a8a3f3ad30e3422c9c7b888a15615d19a852ae32 # v3.1.3
	with:
	name: docs
	path: site
	if-no-files-found: error

Provide feedback