add GitHub Actions to build HTMLs #1

	name: deploy

	on:
	# Trigger the workflow on push to main branch
	push:
	branches:
	- master
	# 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:
	# - some-subfolder/**

	# This job installs dependencies, build the book, and pushes it to `gh-pages`
	jobs:
	build-and-deploy-book:
	runs-on: ${{ matrix.os }}
	strategy:
	matrix:
	os: [ubuntu-latest]
	python-version: [3.11]
	steps:
	- uses: actions/checkout@v2

	# (optional) Cache your executed notebooks between runs
	# if you have config:
	# execute:
	# execute_notebooks: cache
	- name: cache executed notebooks
	uses: actions/cache@v3
	with:
	path: _build/.jupyter_cache
	key: jupyter-book-cache-${{ hashFiles('labs/requirements.txt') }}

	# Install dependancies & Build the book as HTML format
	- name: Build the book
	run: \|
	make html

	# Deploy the book's HTML to gh-pages branch
	- name: GitHub Pages action
	uses: peaceiris/[email protected]
	with:
	github_token: ${{ secrets.DEPLOY_TOKEN }}
	publish_dir: _build/html

Provide feedback