Add TIMER2 option to cmake (#144) #561

	name: stable documentation
	on:
	push:
	branches:
	- master
	- docs
	jobs:
	deploy:
	runs-on: ubuntu-latest
	steps:
	- name: Checkout
	uses: actions/checkout@v2
	with:
	fetch-depth: 0
	- name: Setup python
	uses: actions/setup-python@v2
	with:
	python-version: 3.x
	- name: Install python packages
	run: pip install mkdocs==1.5.2 mkdocs-material==8.3.4 mike==1.1.2 setuptools
	- name: Configure git user
	run: \|
	git config --local user.email "github-actions[bot]@users.noreply.github.com"
	git config --local user.name "github-actions[bot]"
	- name: Get tag of the version
	uses: olegtarasov/[email protected]
	id: tag_name
	- name: Deploy with mike
	run: \|
	mike deploy --force --update-aliases master stable
	mike retitle master stable
	mike set-default --push stable

Provide feedback