workflows: fix doc generation check #516

	name: Lint

	on:
	push:
	branches:
	- main
	tags: ["*"]
	pull_request:

	concurrency:
	# Skip intermediate builds: always.
	# Cancel intermediate builds: only if it is a pull request build.
	group: ${{ github.workflow }}-${{ github.ref }}
	cancel-in-progress: ${{ startsWith(github.ref, 'refs/pull/') }}

	jobs:
	lint:
	name: Linting
	runs-on: ubuntu-latest
	steps:
	- name: Clone
	uses: actions/checkout@v4
	- name: Setup Julia
	uses: julia-actions/setup-julia@v2
	with:
	version: "1"
	- name: Use Julia cache
	uses: julia-actions/cache@v2
	- name: Install JuliaFormatter.jl
	run: julia -e 'using Pkg; pkg"add JuliaFormatter"'
	- name: Setup Python
	uses: actions/setup-python@v5
	with:
	cache: "pip"
	- name: Cache pre-commit
	uses: actions/cache@v4
	with:
	path: ~/.cache/pre-commit
	key: ${{ runner.os }}-pre-commit-${{ hashFiles('**/.pre-commit-config.yaml') }}
	- name: Install pre-commit
	run: pip install pre-commit
	- name: Run pre-commit
	run: SKIP=no-commit-to-branch pre-commit run -a

	link-checker:
	name: Link checker
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4

	- name: Link Checker
	id: lychee
	uses: lycheeverse/lychee-action@v1
	with:
	fail: true

Provide feedback