feat: default to use ceres #91

	name: Publish main docs
	on:
	push:
	branches: ["main"]

	jobs:
	main:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v2
	with:
	fetch-depth: 0
	- uses: actions/setup-python@v2
	with:
	python-version: 3.8
	- uses: actions/cache@v2
	with:
	path: ~/.cache/pip3
	key: ${{ runner.os }}-pip-${{ hashFiles('docs/requirements.txt') }}
	- run: pip3 install -r docs/requirements.txt
	- run: git config --global user.email "[email protected]"
	- run: git config --global user.name "GitHub Action"
	- run: mike deploy --push main

Provide feedback