Re-add `deploydocs` command. #29

	name: Benchmark ProbabilisticParameterEstimators.
	on:
	push:
	branches:
	- master

	permissions:
	contents: write
	deployments: write

	jobs:
	benchmark:
	name: Run benchmarks.
	runs-on: ${{ matrix.os }}
	strategy:
	fail-fast: false
	matrix:
	version:
	- '1'
	os:
	- ubuntu-latest
	arch:
	- x64
	steps:
	- uses: actions/checkout@v4
	- uses: julia-actions/setup-julia@v2
	with:
	version: ${{ matrix.version }}
	arch: ${{ matrix.arch }}
	- uses: julia-actions/cache@v2
	- name: Run benchmark
	run: \|
	cd benchmarks
	julia --project --color=yes -e '
	using Pkg;
	Pkg.instantiate();
	include("runbenchmarks.jl")'

	- name: Store benchmark result
	uses: benchmark-action/github-action-benchmark@v1
	with:
	name: Julia benchmark result
	tool: 'julia'
	output-file-path: benchmarks/benchmarkresults.json
	# Use personal access token instead of GITHUB_TOKEN due to https://github.community/t/github-action-not-triggering-gh-pages-upon-push/16096
	github-token: ${{ secrets.GITHUB_TOKEN }}
	auto-push: true
	# Show alert with commit comment on detecting possible performance regression
	alert-threshold: '200%'
	comment-on-alert: true
	fail-on-alert: true
	alert-comment-cc-users: '@RomeoV'

Provide feedback