try removing some type: ignores for mypy #114

	name: Build docs

	on:
	push:
	branches:
	- 'docs/**'
	schedule:
	# 04:00 every Tuesday morning
	- cron: '0 4 * * 2'

	jobs:
	docs:
	name: build docs
	runs-on: ubuntu-22.04
	steps:
	- uses: actions/checkout@v4
	with:
	submodules: true
	- name: Set up Python 3.11
	uses: actions/setup-python@v5
	with:
	python-version: '3.11'
	- name: install poetry
	run: pip install poetry
	- name: Install docs dependencies
	run: cd docs && bash install.sh
	- name: Install pytket qulacs
	run: cd docs && poetry run pip install ../.
	- name: Test building docs
	timeout-minutes: 10
	run: \|
	cd docs
	poetry run bash build-docs.sh

Provide feedback