Sphinx Build #500

	# Github action to build sphinx site and commit to gh-pages branch
	#
	# Built site is pushed to 'gh-pages' branch
	#

	name: Sphinx Build

	on:
	workflow_dispatch:
	push:
	branches: [main]
	schedule:
	- cron: "0 3 * * *"

	jobs:
	build:
	runs-on: ubuntu-latest

	steps:
	- name: Checkout page source
	uses: actions/checkout@v3

	- name: Setup Python
	uses: actions/setup-python@v4
	with:
	python-version: "3.10"

	- name: Install sphinx
	run: pip3 install --user -r requirements.txt

	- name: delete _data folder
	run: rm -Rf _data

	- name: download _data
	run: mkdir _data && cd _data && gh run download -n _data
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}

	- name: Build page
	run: python3 build.py

	- run: touch build/html/.nojekyll

	- name: Create Bing authentification
	run: \|
	echo > build/html/BingSiteAuth.xml \
	"<?xml version=\"1.0\"?><users><user>${{ env.BING_TOKEN }}</user></users>"
	env:
	BING_TOKEN: ${{ secrets.BING_TOKEN }}

	- name: Deploy documentation sphinx
	uses: JamesIves/[email protected]
	with:
	token: ${{ secrets.GITHUB_TOKEN }}
	branch: gh-pages
	folder: build/html
	clean: false
	git-config-email: [email protected]
	git-config-name: Fortran

Provide feedback