Lint

Adding the usual Linters #1

	name: Lint
	on:
	push:
	branches: [ main ]
	pull_request:
	branches: [ main ]

	# Allows you to run this workflow manually from the Actions tab
	workflow_dispatch:
	jobs:
	build:
	name: py${{ matrix.python-version }} @ ${{ matrix.os }}
	strategy:
	fail-fast: false
	matrix:
	include:
	# (for humble):
	- python-version: "3.10"
	os: "ubuntu-20.04"
	runs-on: ${{ matrix.os }}
	concurrency:
	group: ${{ github.workflow }}-${{ github.ref }}-${{ matrix.os }}-${{ matrix.python-version }}
	cancel-in-progress: true

	steps:
	- uses: szenius/[email protected]
	with:
	timezoneLinux: "Europe/Berlin"
	- uses: actions/checkout@v3
	- name: Set up Python ${{ matrix.python-version }}
	uses: actions/setup-python@v4
	with:
	python-version: ${{ matrix.python-version }}
	- name: Update pip
	run: \|
	pip install --upgrade pip
	pip install setuptools_rust
	- name: Install packages
	run: \|
	pip install jani_generator/.[dev]
	pip install mc_toolchain_jani_common/.[dev]
	pip install scxml_converter/.[dev]
	- uses: ricardochaves/[email protected]
	with:
	python-root-list: "jani_generator mc_toolchain_jani_common scxml_converter"
	use-pylint: true
	use-pycodestyle: true
	use-flake8: true
	use-black: false
	use-mypy: true
	use-isort: true
	extra-pylint-options: ""
	extra-pycodestyle-options: ""
	extra-flake8-options: ""
	extra-black-options: ""
	extra-mypy-options: "--ignore-missing-imports"
	extra-isort-options: ""

Provide feedback