init #7

	name: build

	on: push

	jobs:
	build:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v3
	- uses: actions/setup-python@v4
	with:
	python-version: '3.10'
	- name: Install dependencies
	run: pip3 install -Ur requirements.txt
	- name: Build docs
	run: mkdocs -v build
	- name: Deploy to GitHub Pages
	if: github.repository == 'NYIST-CIPS/documents' && github.ref == 'refs/heads/master'
	run: \|
	CINFO="$(git log -1 --pretty="[%h] %an: %s")"
	cd site
	git init --quiet
	echo -n "docs.mirror.nyist.edu.cn" > CNAME
	: > .nojekyll
	git remote add origin https://${GITHUB_ACTOR}:${{ secrets.GITHUB_TOKEN }}@github.com/$GITHUB_REPOSITORY.git
	git fetch --depth=1 origin gh-pages
	git reset --soft FETCH_HEAD
	git add --all
	git -c user.name=GitHub -c [email protected] commit \
	-m "Auto deploy from GitHub Actions build ${GITHUB_RUN_NUMBER}" \
	-m "$CINFO"
	git push origin +HEAD:gh-pages

Provide feedback