Improve typing #18

	name: Check and formatting

	on:
	push:

	concurrency:
	group: ${{ github.workflow }}-${{ github.event.pull_request.number \|\| github.ref }}
	cancel-in-progress: true

	jobs:
	check_and_fix:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@master
	with:
	fetch-depth: 0 # otherwise, you will failed to push refs to dest repo
	submodules: recursive
	- name: Extract branch name
	shell: bash
	run: echo "branch=${GITHUB_HEAD_REF:-${GITHUB_REF#refs/heads/}}" >> $GITHUB_OUTPUT
	id: extract_branch
	- uses: actions/setup-python@v5
	with:
	python-version: '3.8'
	- name: Install test
	run: pip install .[full,test,lint]
	- name: mypy
	run: mypy
	- name: isort
	run: isort .
	- name: Ruff check
	run: ruff check
	- name: Ruff format
	run: ruff format
	- name: Commit & Push changes
	uses: actions-js/push@master
	with:
	github_token: ${{ secrets.GITHUB_TOKEN }}
	message: Formatting
	branch: ${{ steps.extract_branch.outputs.branch }}

Provide feedback