Docs: add anchor links to all headlines #619

	name: 'Docs Build'

	on:
	push:
	branches-ignore:
	- 'dependabot/**'
	paths:
	- 'docs/**'
	- '.github/*/docs*'
	pull_request:
	paths:
	- 'docs/**'
	- '.github/*/docs*'

	env:
	LC_ALL: en_US.UTF-8

	defaults:
	run:
	shell: bash

	permissions:
	contents: read

	jobs:
	docs:
	name: GitHub Pages
	runs-on: ubuntu-latest
	env:
	BUNDLE_GEMFILE: Gemfile
	BUNDLE_PATH: vendor/bundle
	steps:
	- name: Harden Runner
	uses: step-security/harden-runner@0080882f6c36860b6ba35c610c98ce87d4e2f26f
	with:
	egress-policy: audit # TODO: change to 'egress-policy: block' after couple of runs

	- name: Git Checkout
	uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683
	- name: Set up Ruby
	uses: ruby/setup-ruby@401c19e14f474b54450cd3905bb8b86e2c8509cf
	with:
	ruby-version: 2.7
	bundler-cache: true
	working-directory: docs
	- name: Build
	run: \|
	./.github/scripts/docs.sh

Provide feedback