Port to WebKit2 4.1 #29


	name: Documentation
	on:
	push:
	branches: [master]
	pull_request:
	branches: [master]
	workflow_dispatch:

	jobs:
	build:
	runs-on: ubuntu-20.04
	container:
	image: 'archlinux:latest'

	steps:
	- name: Install dependencies
	run: \|
	# assume yes and do not ask for confirmation when installing deps using pacman
	yes \| pacman -Syu base-devel sudo git wget curl python-sphinx rsync python-pip --noconfirm

	- uses: actions/checkout@v2
	with:
	persist-credentials: false

	- name: Create builduser
	run: \|
	# A user is required so that the docs are not built as root
	useradd builduser -m # Create the builduser
	passwd -d builduser # Delete the buildusers password
	printf 'builduser ALL=(ALL) ALL\n' \| tee -a /etc/sudoers

	- name: Build documentation
	run: \|
	sudo chown builduser:builduser . -R
	sudo -u builduser ./ci/docs.sh

	- name: Deploy 🚀
	uses: JamesIves/[email protected]
	# build the documentation, but only deploy them when the PR
	# gets merged
	if: github.ref == 'refs/heads/master'
	with:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	BRANCH: gh-pages # The branch the action should deploy to.
	FOLDER: deploy # The folder the action should deploy.

Provide feedback