Merge pull request #289 from tryolabs/fix-mike-deploy #91

	# Simple workflow for deploying static content to GitHub Pages
	name: Deploy static content to Pages

	on:
	# Runs on pushes targeting the default branch
	push:
	branches: ["master"]
	# Allows you to run this workflow manually from the Actions tab
	workflow_dispatch:

	# Allow one concurrent deployment
	concurrency:
	group: "docs"
	cancel-in-progress: true

	jobs:
	# Single deploy job since we're just deploying
	deploy:
	runs-on: ubuntu-20.04
	steps:
	- name: Checkout
	uses: actions/checkout@v3
	with:
	fetch-depth: 0
	- name: Set up Python 3.8
	uses: actions/setup-python@v4
	with:
	python-version: "3.8"
	- name: Setup a user for the commits
	run: \|
	git config user.name ci-bot
	git config user.email [email protected]
	- name: Installing dependencies
	run: pip install -r docs/requirements.txt
	- name: Updating "dev"
	run: mike deploy --push dev

Provide feedback