Improve stability example in docs (#90) #330

	name: Docs

	on:
	push:
	branches:
	- main
	pull_request:
	workflow_dispatch:

	env:
	JULIA_NUM_THREADS: 2

	jobs:
	BuildDocs:
	permissions:
	# Required by julia-actions/cache.
	actions: write
	# Required by julia-actions/cache and actions-gh-pages.
	contents: write
	runs-on: ubuntu-latest
	timeout-minutes: 40
	steps:
	- uses: actions/checkout@v4
	- uses: julia-actions/setup-julia@v2
	with:
	version: '1'
	- uses: julia-actions/cache@v2.0.0
	with:
	cache-name: 'docs'
	- run: julia -e 'using Pkg; Pkg.add("Revise");'
	- uses: julia-actions/julia-buildpkg@v1
	- uses: julia-actions/julia-docdeploy@v1
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}

	ConfigureDocs:
	needs: BuildDocs
	if: github.ref == 'refs/heads/main'
	permissions:
	contents: write
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	with:
	ref: 'docs-output'
	# Do not change this because the paper links to this domain.
	- run: echo "sirus.jl.huijzer.xyz" > CNAME
	- run: echo "<meta http-equiv=\"refresh\" content=\"0; url=./dev/\"/>" > index.html
	- uses: peaceiris/actions-gh-pages@v4
	with:
	force_orphan: true
	github_token: ${{ secrets.GITHUB_TOKEN }}
	publish_dir: .
	publish_branch: 'docs-output'

Provide feedback