Merge branch 'master' of github.com:codingriver/codingriver.github.io #23

	name: Deploy MkDocs to GitHub Pages

	on:
	push:
	branches:
	- master
	paths-ignore:
	- 'README.md'
	- 'docs/all-articles.md'
	- 'mkdocs.yml'
	workflow_dispatch:

	permissions:
	contents: read
	pages: write
	id-token: write

	concurrency:
	group: pages
	cancel-in-progress: true

	jobs:
	build:
	runs-on: ubuntu-latest
	steps:
	- name: Checkout
	uses: actions/checkout@v4
	with:
	fetch-depth: 0

	- name: Setup Python
	uses: actions/setup-python@v5
	with:
	python-version: "3.x"

	- name: Configure Pages
	uses: actions/configure-pages@v5

	- name: Install dependencies
	run: \|
	pip install mkdocs-material mkdocs-git-revision-date-localized-plugin mkdocs-git-authors-plugin gitpython jieba pyyaml

	- name: Check markdown docs and fail with precise file/line info
	run: python scripts/check_docs.py --strict

	- name: Generate all-articles and mkdocs nav for build
	run: python scripts/generate_readme.py --target all-articles

	- name: Build site
	run: mkdocs build --strict --verbose

	- name: Upload Pages artifact
	uses: actions/upload-pages-artifact@v3
	with:
	path: ./site

	deploy:
	environment:
	name: github-pages
	url: ${{ steps.deployment.outputs.page_url }}
	runs-on: ubuntu-latest
	needs: build
	steps:
	- name: Deploy to GitHub Pages
	id: deployment
	uses: actions/deploy-pages@v4

Provide feedback