Rename Dockerfile and use docker compose actions #57

	---
	on:
	push:
	branches-ignore:
	- main
	permissions:
	contents: read

	jobs:
	formatting_and_linting:
	permissions:
	contents: write # for Git to git push
	runs-on: ubuntu-latest
	steps:
	- name: Checkout project
	uses: actions/checkout@692973e3d937129bcbf40652eb9f2f61becf3332 # v4.1.7

	- name: Set up Python
	uses: actions/setup-python@39cd14951b08e74b54015e9e001cdefcf80e669f # v5.1.1
	with:
	python-version: '3.12'

	- name: Set up cache for Python dependencies
	uses: actions/cache@v4
	with:
	path: ~/.cache/pip
	key: ${{ runner.os }}-pip-${{ hashFiles('**/pyproject.toml') }}
	restore-keys: \|
	${{ runner.os }}-pip-

	- name: Install dependencies
	run: \|
	python -m pip install --upgrade pip
	python -m pip install .[formatting]

	- name: Run ruff formatting
	run: \|
	ruff format .

	- name: Run ruff linting
	run: \|
	ruff check --fix

	- name: Commit changes
	run: \|
	git config user.name github-actions
	git config user.email [email protected]
	git add .
	git commit -m "Formatting and linting commit" \|\| true
	git push

	- name: Run mypy
	run: \|
	mypy --strict rundetection

Provide feedback