Add version widget with dummy switcher.json #81

	name: Build Sphinx docs and deploy to GitHub Pages

	# Generate the documentation on all merges to main, all pull requests, or by
	# manual workflow dispatch. The build job can be used as a CI check that the
	# docs still build successfully. The deploy job only runs when a tag is pushed
	# (so, when a new release is made).
	on:
	push:
	branches:
	- main
	tags:
	- '*'
	pull_request:
	workflow_dispatch:

	jobs:
	linting:
	# scheduled workflows should not run on forks
	if: (${{ github.event_name == 'schedule' }} && ${{ github.repository_owner == 'neuroinformatics-unit' }} && ${{ github.ref == 'refs/heads/main' }}) \|\| (${{ github.event_name != 'schedule' }})
	runs-on: ubuntu-latest
	steps:
	- uses: neuroinformatics-unit/actions/lint@v2

	build_sphinx_docs:
	name: Build Sphinx Docs
	needs: linting
	runs-on: ubuntu-latest
	steps:
	- uses: neuroinformatics-unit/actions/build_sphinx_docs@v2

	deploy_sphinx_docs:
	name: Deploy Sphinx Docs
	needs: build_sphinx_docs
	permissions:
	contents: write
	if: github.event_name == 'push' && github.ref_type == 'tag'
	runs-on: ubuntu-latest
	steps:
	- uses: neuroinformatics-unit/actions/deploy_sphinx_docs@v2
	with:
	secret_input: ${{ secrets.GITHUB_TOKEN }}

Provide feedback