Add formatting and linting

.github/workflows/formatting_and_linting.yml

@@ -0,0 +1,54 @@
+---
+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 db