Skip to content

Merge pull request #52 from chriswebb09/dev-branch #253

Merge pull request #52 from chriswebb09/dev-branch

Merge pull request #52 from chriswebb09/dev-branch #253

name: build-sphinx-to-gh-pages
env:
GITHUB_ACTOR: chriswebb09
GITHUB_REPOSITORY: DirectReport
GITHUB_TOKEN: ${{ secrets.GH_PAGE }}
on:
push:
branches: [ main ]
jobs:
build_sphinx_job:
runs-on: ubuntu-latest
container: debian:buster-slim
steps:
- name: Get prerequisites and clone repository
env:
GITHUB_TOKEN: ${{ secrets.GH_PAGE }}
run: |
set -x
apt-get update
apt-get install -y git rsync python-sphinx python-sphinx-rtd-theme
git config --global user.name "${GITHUB_ACTOR}"
git config --global user.email "${GITHUB_ACTOR}@users.noreply.github.com"
git config -l
git clone --depth 1 "https://token:${GITHUB_TOKEN}@github.com/${GITHUB_REPOSITORY}.git" .
git config --global credential.helper cache
shell: bash
- name: Run build script for Sphinx pages
env:
GITHUB_TOKEN: ${{ secrets.GH_PAGE }}
run: "docs/buildDocs.sh"
shell: bash