Update syllabus.md #42

	# This workflow will do a clean install of node dependencies, build the source code,
	# export static files of the landing page, then deploy them as github page.

	name: Deploy to github pages.

	on:
	push:
	branches: [ main ]
	pull_request:
	branches: [ main ]

	defaults:
	run:
	working-directory: docusaurus/website

	jobs:
	build:

	runs-on: ubuntu-latest

	strategy:
	matrix:
	node-version: [14.x, 15.x]
	# See supported Node.js release schedule at https://nodejs.org/en/about/releases/

	steps:
	- uses: actions/checkout@v2

	- name: Use Node.js ${{ matrix.node-version }}
	uses: actions/setup-node@v1
	with:
	node-version: ${{ matrix.node-version }}

	- name: Cache dependencies
	uses: actions/cache@v2
	with:
	path: ~/.npm
	key: ${{ runner.OS }}-node-${{ hashFiles('**/package-lock.json') }}
	restore-keys: \|
	${{ runner.OS }}-node-
	${{ runner.OS }}-
	- name: Build
	run: \|
	npm ci
	npm run build
	- name: Deploy
	uses: peaceiris/actions-gh-pages@v3
	with:
	github_token: ${{ secrets.GITHUB_TOKEN }}
	publish_dir: ./docusaurus/website/build

Provide feedback