Docs

restrict server namespace as well #3

	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@v4
	- uses: actions/setup-python@v5
	with:
	python-version: 3.9
	- uses: actions/setup-go@v5
	with:
	go-version: '1.21'
	- uses: actions/setup-node@v4
	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@v3
	with:
	name: docs
	path: site
	if-no-files-found: error

Provide feedback