Merge branch 'main' of https://github.com/QC-Edu/IntroSoftware #17

	name: deploy-book

	# Only run this when the master branch changes
	on:
	push:
	branches:
	- main
	- website

	pull_request:
	types: [opened, synchronize, reopened, closed]
	branches:
	- main
	# If your git repository has the Jupyter Book within some-subfolder next to
	# unrelated files, you can make this run only if a file within that specific
	# folder has been modified.
	#
	#paths:
	#- book/

	# This job installs dependencies, builds the book, and pushes it to `gh-pages`
	jobs:
	deploy-book:
	runs-on: ubuntu-latest
	permissions:
	pages: write
	# https://github.com/JamesIves/github-pages-deploy-action/issues/1110
	contents: write

	steps:
	- uses: actions/checkout@v2
	- name: Set up Python 3.10
	uses: actions/setup-python@v2
	with:
	python-version: "3.10"

	- name: Install dependencies
	run: \|
	python3 -m pip install -r website/requirements.txt

	# Build the book
	- name: Build the website
	run: \|
	jupyter-book build ./website/

	# Push the book's HTML to github-pages
	# inspired by https://github.com/orgs/community/discussions/26724
	# only push to gh-pages if the master branch has been updated
	- name: GitHub Pages Action
	# if: ${{ github.event_name == 'push' && github.ref == 'refs/heads/master' }}
	uses: peaceiris/actions-gh-pages@v3
	with:
	github_token: ${{ secrets.GITHUB_TOKEN }}
	publish_dir: ./website/_build/html
	publish_branch: gh-pages
	cname: intro.qc-edu.org

Provide feedback