Bump version #513

	on:
	push:
	branches:
	- main
	pull_request:
	branches:
	- main
	name: Lint Python and Format
	jobs:
	mypy:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v3
	- uses: actions/setup-python@v4
	with:
	python-version: '3.10'
	- run: python -m pip install . mypy pytest
	- name: run mypy
	run: python -m mypy --strict
	flake8:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v3
	- uses: actions/setup-python@v4
	with:
	python-version: '3.10'
	- run: python -m pip install . flake8
	- name: run flake8
	run: python -m flake8
	black:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v3
	- uses: actions/setup-python@v4
	with:
	python-version: '3.10'
	- run: python -m pip install black
	- name: Check formating with black
	run: python -m black --check .
	pytest:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v3
	- uses: actions/setup-python@v4
	with:
	python-version: '3.10'
	- run: \|
	sudo apt update -y
	sudo apt install creduce csmith libcsmith-dev -y
	python -m pip install . pytest
	- name: Run tests
	run: \|
	git config --global user.email "[email protected]"
	git config --global user.name "test"
	python -m pytest tests
	isort:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v3
	- uses: actions/setup-python@v4
	with:
	python-version: '3.10'
	- run: python -m pip install isort
	- name: Check imports with isort
	run: python -m isort --profile black --check .

Provide feedback