Skip to content

Port to WebKit2 4.1 #29

Port to WebKit2 4.1

Port to WebKit2 4.1 #29

Workflow file for this run

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/github-pages-deploy-action@3.7.1
# 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.