Upstream external change triggered. #225

	# This is a basic workflow to help you get started with Actions

	name: Build Docs CI

	# Controls when the action will run.
	on:
	# Triggers the workflow on push or pull request events but only for the master branch
	push:
	branches: [ master ]
	paths-ignore:
	- 'docs/**'
	# schedule:
	# # * is a special character in YAML so you have to quote this string
	# - cron: '0 9 * * *'

	# Allows you to run this workflow manually from the Actions tab
	workflow_dispatch:

	# A workflow run is made up of one or more jobs that can run sequentially or in parallel
	jobs:
	# This workflow contains a single job called "build"
	build:
	# The type of runner that the job will run on
	runs-on: ubuntu-latest

	# Steps represent a sequence of tasks that will be executed as part of the job
	steps:
	# Checks-out your repository under $GITHUB_WORKSPACE, so your job can access it
	- name: Checkout
	uses: actions/checkout@v2

	# Build and Push Docs back to GitHubPages
	- name: Build Docs
	env:
	GITHUB_TOKEN: ${{ secrets.DERIVA_DOCS_PUSH_TOKEN }}
	run: docker run --rm -e GITHUB_TOKEN isrddev/deriva-docs build

Provide feedback