Documentation #1198

	name: Documentation

	on:
	push:
	branches:
	- 'master'
	tags: '*'
	workflow_dispatch:
	# With the current deploy config in make.jl, PRs will trigger a deploy!
	# So, don't enable this without fixing that first.
	# pull_request:
	schedule:
	# Run on the 23rd hour every day
	- cron: '0 23 * * *'

	jobs:
	docs:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v2
	- name: Set up Julia
	uses: julia-actions/setup-julia@v1
	with:
	version: '1.6'
	- name: Set up Ruby
	uses: ruby/setup-ruby@v1
	with:
	ruby-version: 2.6
	bundler-cache: true
	- name: Install dependencies
	run: \|
	julia --project=docs -e '
	using Pkg
	Pkg.activate(".")
	Pkg.develop("Turing")
	Pkg.instantiate()
	Pkg.update()'
	- name: Build and deploy (master)
	run: \|
	julia --project=docs --color=yes make.jl
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }}
	TURING_VERSION: dev
	- name: Build and deploy (stable)
	run: \|
	git -C ~/.julia/dev/Turing checkout $(git -C ~/.julia/dev/Turing tag --sort version:refname \| tail -n 1)
	julia --project=docs --color=yes make.jl $(git -C ~/.julia/dev/Turing tag --sort version:refname \| tail -n 1)
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }}
	- name: Install MultiDocumenter dependencies
	run: julia --project=multidoc -e 'using Pkg; Pkg.instantiate()'
	- name: Run MultiDocumenter and deploy
	run: \|
	git config user.name github-actions
	git config user.email [email protected]
	git pull # update local repo to avoid merging clash
	julia --project=multidoc multidoc/make.jl

Provide feedback