github: add Static Analysis workflow

Author: linkfrg

.github/workflows/static.yaml

@@ -0,0 +1,63 @@
+on: 
+  push:
+    paths:
+      - "ignis/**"
+      - ".github/workflows/static.yaml"
+  pull_request:
+    paths:
+      - "ignis/**"
+      - ".github/workflows/static.yaml"
+
+name: Static Analysis
+jobs:
+  mypy-check:
+    name: Mypy
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - name: Set up Python
+        uses: actions/setup-python@v5
+        with:
+          python-version: "3.12"
+
+      - name: Install system dependencies
+        run: |
+          sudo apt update
+          sudo apt install libcairo2-dev git
+      
+      - name: Clone Ignis repository
+        run: |
+          git clone https://github.com/linkfrg/ignis.git src
+      
+      - name: Install Python dependencies
+        run: |
+          python -m pip install --upgrade pip
+          cd src
+          pip install --no-deps --config-settings=setup-args="-Dbuild_gvc=false" --config-settings=setup-args="-Ddependency_check=false" .
+          pip install -r dev.txt
+          grep -vE "PyGObject|setuptools" requirements.txt | pip install -r /dev/stdin
+          cd ..
+
+      - name: Run mypy analysis
+        run: |
+          mypy
+  
+  ruff-check:
+    name: Ruff
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - name: Set up Python
+        uses: actions/setup-python@v5
+        with:
+          python-version: "3.12"
+      - name: Install Python dependencies
+        run: |
+          python -m pip install --upgrade pip
+          pip install ruff
+
+      - name: Check code
+        run: ruff check
+
+      - name: Check format
+        run: ruff format --check

pyproject.toml

@@ -1,6 +1,5 @@
 [tool.mypy]
 python_version = "3.10"
-files = ["ignis", "/sda3/ignis/ignis"]  # replace /sda3/ignis/ignis with the actual path to Ignis sources
 exclude = ["venv"]
 disable_error_code = [
     "no-redef",  # allow variable redefinition (needed for GObject.Property decorator)