Build

fix: Remove outdated CodeMirror 5 mode link #178

	# Builds and deploys the documentation on updates
	name: Build

	on:
	push:
	branches:
	- master

	jobs:
	build:

	runs-on: ubuntu-latest

	# For setup, see https://www.mkdocs.org/#installation
	steps:
	- uses: actions/checkout@v1
	- name: Set up Python 3.7
	uses: actions/setup-python@v1
	with:
	python-version: '3.7'
	- name: Install dependencies
	run: \|
	python -m pip install --upgrade pip
	pip install mkdocs

	# Now we can build the thing
	- name: Build the documentation
	run: ./scripts/build.sh

	# Deploy to the server
	- name: Deploy to production
	uses: easingthemes/[email protected]
	env:
	SSH_PRIVATE_KEY: ${{ secrets.SSH_PRIVATE_KEY }}
	ARGS: "-vzhr"
	SOURCE: "build/"
	REMOTE_HOST: ${{ secrets.REMOTE_HOST }}
	REMOTE_USER: ${{ secrets.REMOTE_USER }}
	TARGET: ${{ secrets.TARGET }}

Provide feedback