More typing fixes (#374) #93

	name: deploy

	on:
	push:
	tags:
	- '*'

	jobs:

	documents:
	runs-on: ubuntu-latest

	steps:
	- uses: actions/checkout@v4
	with:
	fetch-depth: 0
	- name: Set up Python
	uses: actions/setup-python@v4
	with:
	python-version: '3.11'
	- name: Setup Node
	uses: actions/setup-node@v2
	with:
	node-version: '16'
	- name: Install dependencies
	run: \|
	python -m pip install --upgrade pip setuptools
	python -m pip install -r requirements/dev.txt
	python -m pip install -r requirements/docs.txt
	npm install --legacy-peer-deps
	- name: Deploy documents
	run: \|
	git config user.name facelessuser
	git config user.email "${{ secrets.GH_EMAIL }}"
	git remote add gh-token "https://${{ secrets.GH_TOKEN }}@github.com/facelessuser/coloraide.git"
	git fetch gh-token && git fetch gh-token gh-pages:gh-pages
	python tools/buildwheel.py
	npm run build
	python -m mkdocs gh-deploy -v --clean --remote-name gh-token
	git push gh-token gh-pages

	pypi:
	runs-on: ubuntu-latest

	steps:
	- uses: actions/checkout@v4
	- uses: actions/setup-python@v4
	with:
	python-version: '3.11'
	- name: Package
	run: \|
	pip install --upgrade pip build
	python -m build -s -w
	- name: Publish
	uses: pypa/gh-action-pypi-publish@release/v1
	with:
	user: __token__
	password: ${{ secrets.PYPI_PWD }}

Provide feedback