Merge branch 'develop' of https://github.com/feelpp/book.feelpp.org i… #299

	name: Build and Deploy
	on:
	push:
	branches: [ master,develop ]
	repository_dispatch:
	types:
	- toolbox-update-trigger

	jobs:
	build:
	runs-on: self-ubuntu-22.04
	steps:
	- uses: actions/checkout@v3
	# - uses: actions/setup-python@v4
	# with:
	# python-version: '3.10'
	# cache: 'pip' # caching pip dependencies
	- name: Python install
	run: \|
	python -m venv --system-site-packages .venv
	source .venv/bin/activate
	pip install -r requirements.txt
	- name: Npm Install
	run: \|
	npm i
	echo "${{ github.workspace }}/node_modules/.bin" >> $GITHUB_PATH
	- name: Check
	run: \|
	antora -v
	asciidoctor -v

	- name: Build
	run: \|
	source .venv/bin/activate
	npm run antora
	env:
	FEELPP_GITHUB_TOKEN: ${{ secrets.DOCS_GITHUB_KEY }}
	GITHUB_OAUTH: ${{ secrets.DOCS_GITHUB_KEY }}
	ALGOLIA_API_KEY: ${{ secrets.ALGOLIA_API_KEY }}
	ALGOLIA_INDEX_NAME: ${{ secrets.ALGOLIA_INDEX_NAME }}
	ALGOLIA_APP_ID: ${{ secrets.ALGOLIA_APP_ID }}
	- name: Deploy
	uses: JamesIves/[email protected]
	with:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	BRANCH: gh-pages # The branch the action should deploy to.
	FOLDER: build/site # The folder the action should deploy.

Provide feedback