add push #18

	name: publish-version

	on:
	push:
	tags:
	- 'v*'

	jobs:
	deploy:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v2
	- uses: actions/setup-python@v2
	with:
	python-version: 3.x
	- run: python3 -m pip install -r ./pip-requirements.txt
	- uses: ocaml/setup-ocaml@v2
	with:
	ocaml-compiler: 4.14.x
	dune-cache: false # can cause trouble when generating melange docs in step below: https://github.com/ocaml/dune/issues/7720
	- name: Install all deps
	run: make install
	- name: Generate melange docs in ml syntax
	run: opam reinstall -y melange --with-doc
	- name: Copy melange docs in ml syntax
	run: cp -r _opam/.opam-switch/build/melange.dev/_build/default/_doc/_html docs/api/ml
	- name: Generate melange docs in re syntax
	run: ODOC_SYNTAX="re" opam reinstall -y melange --with-doc
	- name: Copy melange docs in re syntax
	run: cp -r _opam/.opam-switch/build/melange.dev/_build/default/_doc/_html docs/api/re
	- name: Run canonical script
	run: opam exec -- dune exec add_canonical docs/api
	- name: Build playground
	run: make build-playground
	- 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]"
	- run: git fetch origin gh-pages --depth=1
	- run: mike deploy --push ${{ github.ref_name }}

Provide feedback