Improve extsi and extui lowerings to SMT #325

	# This workflow check the format all files in the repository
	# * It checks that all nonempty files have a newline at the end
	# * It checks that there are no whitespaces at the end of lines
	# * It checks that Python files are formatted with black

	name: Code Formatting

	on:
	pull_request:
	push:
	branches: [main]

	jobs:
	code-formatting:

	runs-on: ubuntu-latest
	strategy:
	matrix:
	python-version: ['3.10']

	steps:
	- uses: actions/checkout@v3

	- name: Set up Python
	uses: actions/setup-python@v4
	with:
	python-version: ${{ matrix.python-version }}

	- name: Upgrade pip
	run: \|
	pip install --upgrade pip

	- name: Run code formatting checks with pre-commit
	uses: pre-commit/[email protected]

Provide feedback