Merge pull request #5 from airo-ugent/mobi #24

	# This is a format job. Pre-commit has a first-party GitHub action, so we use
	# that: https://github.com/pre-commit/action

	name: Format

	on: push # run always

	jobs:
	pre-commit:
	name: Format
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	- uses: actions/setup-python@v2
	with:
	python-version: "3.10"
	- uses: pre-commit/[email protected]
	with:
	extra_args: --all-files --hook-stage manual

Provide feedback