docs

add pdf #133

	name: docs

	on:
	push:
	branches:
	- master
	- main

	jobs:
	deploy:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	with:
	submodules: true
	lfs: true
	# sparse-checkout: \|
	# .github
	# docs

	- uses: actions/setup-node@v3
	- run: npx @marp-team/marp-cli@latest -I docs/lectures

	- uses: actions/setup-python@v4
	with:
	python-version: 3.x
	- run: pip install mkdocs-material mkdocs-jupyter mkdocs-autorefs mkdocs-bibtex mkdocs-redirects
	- run: mkdocs gh-deploy --force

	# - uses: conda-incubator/setup-miniconda@v2
	# with:
	# python-version: 3.8
	# miniconda-version: "latest"
	# activate-environment: mkdocs
	# environment-file: .github/environment.yml

	# - name: mkdocs
	# shell: bash -el {0}
	# run: \|
	# pip install mkdocs-autorefs mkdocs-monorepo-plugin mkdocs-bibtex mkdocs-redirects
	# mkdocs gh-deploy --force

Provide feedback