fix lint error #47

	# yaml-language-server: $schema=https://json.schemastore.org/github-workflow.json

	name: Dev docs

	permissions: {}

	on:
	push:
	branches:
	- main

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

	jobs:
	docs:
	runs-on: ubuntu-latest
	permissions:
	contents: write
	steps:
	- name: Checkout
	uses: actions/checkout@0ad4b8fadaa221de15dcec353f45205ec38ea70b # v4.1.4
	# - name: Setup Go
	# uses: actions/setup-go@0c52d547c9bc32b1aa3301fd7a9cb496313a4491 # v5.0.0
	# with:
	# go-version-file: go.mod
	# cache-dependency-path: go.sum
	- name: Build site
	run: \|
	set -e
	make codegen-mkdocs
	- name: Deploy site
	run: \|
	set -e
	git fetch origin gh-pages --depth=1
	git config user.name ci-bot
	git config user.email ci-bot@example.com
	mike deploy -F ./website/mkdocs.yaml --push --update-aliases main dev

Provide feedback