Merge pull request #46 from castedo/main #31

# to view logs

	on:
	push:
	branches: [main]

	jobs:
	build_current:
	name: Build current
	runs-on: ubuntu-latest
	container: python:3
	steps:
	- uses: actions/checkout@v3
	with:
	ref: 'main'
	- name: Install pre-requisites
	run: pip install -r requirements.txt
	- name: Install mike
	run: pip install mike
	- name: Build
	run: mkdocs build -v --clean
	- name: Configure Git user
	run: \|
	git config --global --add safe.directory '*'
	git fetch origin gh-pages --depth=1
	git config --global user.email "github-actions[bot]@users.noreply.github.com"
	git config --global user.name "github-actions[bot]"
	- name: Deploy MkDoc with mike 🚀
	run: \|
	mike deploy --push dev

Provide feedback