Docs

Update synonyms-types.md #827

	# This is a basic workflow to help you get started with Actions

	name: Docs

	# Controls when the action will run.
	on:
	# Allows you to run this workflow manually from the Actions tab
	workflow_dispatch:
	push:
	branches:
	- master

	# A workflow run is made up of one or more jobs that can run sequentially or in parallel
	jobs:
	build:
	name: Deploy docs
	runs-on: ubuntu-latest
	steps:
	- name: Checkout main
	uses: actions/checkout@v2

	- name: Deploy docs
	uses: mhausenblas/mkdocs-deploy-gh-pages@master
	# Or use mhausenblas/mkdocs-deploy-gh-pages@nomaterial to build without the mkdocs-material theme
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	CONFIG_FILE: mkdocs.yml

Provide feedback