Improve introduction of side channel chapter. (#219) #284

	name: Build

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

	jobs:
	build:

	runs-on: ubuntu-latest

	steps:
	- uses: actions/checkout@v2
	with:
	fetch-depth: 0

	- name: build
	run: ./build_with_docker.sh

	- name: Archive PDF and HTML output
	uses: actions/upload-artifact@v2
	with:
	name: HTML and PDF books
	path: \|
	build/*.pdf
	build/*.html
	build/*.css

	- name: Deploy
	uses: peaceiris/actions-gh-pages@v3
	# Only publish the produced book when this was triggered on the main branch,
	# and as part of a push (not as part of a pull request).
	if: ${{ github.ref == 'refs/heads/main' && github.event_name == 'push' }}
	with:
	github_token: ${{ secrets.GITHUB_TOKEN }}
	publish_dir: ./build

	# Check links in markdown files.
	markdown-link-check:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@master
	- uses: gaurav-nelson/github-action-markdown-link-check@v1
	with:
	config-file: '.mlc_config.json'

Provide feedback