for benedikt #99

	# HELLO THERE
	# If you want a cool auto-generated website just like me, you can!
	#
	# Take a look at the instructions:
	# https://github.com/JuliaPluto/static-export-template

	name: Export Pluto notebooks
	on:
	push:
	branches:
	- main
	workflow_dispatch:

	jobs:
	build-and-deploy:
	runs-on: ubuntu-latest
	steps:
	- name: Checkout
	uses: actions/checkout@v3

	- name: Install Julia
	uses: julia-actions/setup-julia@v1
	with:
	version: 1.7

	# We set up a folder that Pluto can use to cache exported notebooks. If the notebook file did not change, then Pluto can take the exported file from cache instead of running the notebook.
	- name: Set up notebook state cache
	uses: actions/cache@v3
	with:
	path: pluto_state_cache
	key: ${{ runner.os }}-pluto_state_cache-v2-${{ hashFiles('/Project.toml', '/Manifest.toml', '.github/workflows/' ) }}-${{ hashFiles('/jl') }}
	restore-keys: \|
	${{ runner.os }}-pluto_state_cache-v2-${{ hashFiles('/Project.toml', '/Manifest.toml', '.github/workflows/*' ) }}

	- name: Run & export Pluto notebooks
	run: \|
	julia -e 'using Pkg
	Pkg.activate(mktempdir())
	Pkg.add([
	Pkg.PackageSpec(name="PlutoSliderServer", version="0.3.2-0.3"),
	])

	import PlutoSliderServer

	PlutoSliderServer.github_action(".";
	Export_cache_dir="pluto_state_cache",
	Export_baked_notebookfile=false,
	Export_baked_state=false,
	# more parameters can go here
	)'

	- name: Deploy to gh-pages
	uses: JamesIves/github-pages-deploy-action@releases/v4
	with:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	BRANCH: gh-pages
	FOLDER: .

Provide feedback