remove broken lint workflow #72

	name: build_docs

	on:
	push:
	permissions:
	contents: write

	jobs:
	check:
	runs-on: ubuntu-latest
	strategy:
	fail-fast: false
	matrix:
	python-version: ["3.11"]

	name: check ${{ matrix.python-version }}
	steps:
	- uses: actions/checkout@v3
	with:
	fetch-depth: 0

	- name: Set up CPython ${{ matrix.python-version }}
	uses: actions/setup-python@v4
	with:
	python-version: ${{ matrix.python-version }}

	- name: Install dependencies
	id: install-deps
	run: \|
	pip install -U -r requirements.txt

	- name: Build Docs
	id: build-docs
	run: \|
	python build_docs.py

	- name: Commit and push changes
	run: \|
	git config user.name github-actions[bot]
	git config user.email 41898282+github-actions[bot]@users.noreply.github.com
	git diff --quiet \|\| (git commit -a -m "Build docs")
	git push

Provide feedback