Update mypy requirement from <1.12,>=1.0 to >=1.0,<1.14 #141

	name: CI

	on: [push, pull_request]

	jobs:
	test:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v2
	- name: Set up Python
	uses: actions/setup-python@v5
	with:
	python-version: '3.x'
	- name: Install dependencies
	run: \|
	pip install .[dev]
	- name: Run tests
	run: \|
	pytest
	- name: Upload to Codecov
	uses: codecov/codecov-action@v4
	with:
	token: ${{ secrets.CODECOV_TOKEN }}
	- name: coverage.py badge
	uses: tj-actions/coverage-badge-py@v2.0.3
	- name: Verify Changed files
	uses: tj-actions/verify-changed-files@v16
	id: verify-changed-files
	with:
	files: coverage.svg
	- name: Commit files
	if: steps.verify-changed-files.outputs.files_changed == 'true'
	run: \|
	git config --local user.email "github-actions[bot]@users.noreply.github.com"
	git config --local user.name "github-actions[bot]"
	git add coverage.svg
	git commit -m "Updated coverage.svg"
	- name: Push changes
	if: steps.verify-changed-files.outputs.files_changed == 'true'
	uses: ad-m/github-push-action@master
	with:
	github_token: ${{ secrets.github_token }}
	branch: ${{ github.ref }}
	- name: Re-pull on failure
	if: ${{ failure() }}
	run: git pull origin ${{ github.ref }} --autostash --rebase -X ours
	- name: Re-push on failure
	if: ${{ failure() }}
	uses: ad-m/github-push-action@master
	with:
	branch: ${{ github.ref }}
	force: true
	github_token: ${{ secrets.GITHUB_TOKEN }}

Provide feedback