hotfix: github actions info #43

	name: mypy

	# Controls when the action will run.
	on:
	# Triggers the workflow on push or pull request events but only for the main branch
	push:
	branches: [ main ]
	pull_request:
	branches: [ main ]

	# Allows you to run this workflow manually from the Actions tab
	workflow_dispatch:

	jobs:
	default-shell:
	name: Default shell
	runs-on: "ubuntu-latest"
	defaults:
	run:
	shell: bash -l {0}
	steps:
	- uses: actions/checkout@v3
	- uses: actions/setup-python@v4
	with:
	python-version: '3.11'
	- name: Test with mypy
	run: \|
	pip install mypy
	mypy

Provide feedback