Update github actions to upload to mirror. #48

	name: Documentation

	on:
	push:
	branches:
	- master
	workflow_dispatch:

	jobs:
	HTML:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v2
	- name: Install Julia
	run: \|
	pip install jill
	jill install --confirm
	- name: Install dependencies
	run: julia --project=docs/ -e 'using Pkg; Pkg.develop(PackageSpec(path=pwd())); Pkg.instantiate()'
	- name: Build and deploy
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }}
	run: \|
	julia -e 'include("contrib/build_sysimg.jl"); build_sysimg(force=true)'
	julia --project=doc/ doc/make.jl deploy
	- name: Upload to mirror
	uses: easingthemes/ssh-deploy@main
	with:
	SSH_PRIVATE_KEY: ${{ secrets.SSH_PRIVATE_KEY }}
	ARGS: "-rlgoDzvc -i --delete"
	SOURCE: "doc/build/"
	REMOTE_HOST: ${{ secrets.REMOTE_HOST }}
	REMOTE_USER: ${{ secrets.REMOTE_USER }}
	TARGET: ${{ secrets.REMOTE_TARGET }}
	PDF:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v2
	- name: Build and deploy
	timeout-minutes: 90
	uses: JuliaCN/documenter-latex-action@v0.1.0
	with:
	project_dir: 'doc'
	format: pdf # trigger the pdf compilation in our doc/make.jl
	- name: upload complied PDF file
	uses: actions/upload-artifact@v2
	with:
	name: compiled contents
	path: doc/build/*.pdf
	- name: Upload to mirror
	uses: easingthemes/ssh-deploy@main
	with:
	SSH_PRIVATE_KEY: ${{ secrets.SSH_PRIVATE_KEY }}
	ARGS: "-rlgoDzvc -i"
	SOURCE: "doc/build/"
	REMOTE_HOST: ${{ secrets.REMOTE_HOST }}
	REMOTE_USER: ${{ secrets.REMOTE_USER }}
	TARGET: ${{ secrets.REMOTE_TARGET }}

Provide feedback