Phase 0 : spécifications, module de coordonnées, sonde ScreenCast

.github/workflows/ci.yml

@@ -0,0 +1,76 @@
+name: CI
+
+on:
+  push:
+    branches: [main]
+  pull_request:
+
+env:
+  CARGO_TERM_COLOR: always
+  RUSTFLAGS: -D warnings
+
+jobs:
+  # tutoclic-coords n'a aucune dépendance système (SPEC.md §16, propriété de la
+  # Phase 1a). Il doit se tester sur un runner nu, sans bureau ni PipeWire.
+  coords:
+    name: coords (sans dépendance système)
+    runs-on: ubuntu-24.04
+    steps:
+      - uses: actions/checkout@v4
+      - uses: dtolnay/rust-toolchain@stable
+        with:
+          components: rustfmt, clippy
+      - uses: Swatinem/rust-cache@v2
+      - name: format
+        run: cargo fmt -p tutoclic-coords -- --check
+      - name: clippy
+        run: cargo clippy -p tutoclic-coords --all-targets -- -D warnings
+      - name: tests
+        run: cargo test -p tutoclic-coords
+      - name: tests de propriété, plus de cas
+        run: cargo test -p tutoclic-coords
+        env:
+          PROPTEST_CASES: "20000"
+
+  # Un job sur `stable` ne vérifie pas l'engagement rust-version : il laisserait
+  # passer l'usage d'une API stabilisée après le MSRV déclaré. Ce job construit
+  # ET teste à la version exacte annoncée dans Cargo.toml.
+  msrv:
+    name: MSRV 1.86
+    runs-on: ubuntu-24.04
+    steps:
+      - uses: actions/checkout@v4
+      - name: dépendances système
+        run: |
+          sudo apt-get update
+          sudo apt-get install -y --no-install-recommends \
+            build-essential pkg-config libpipewire-0.3-dev libclang-dev
+      - uses: dtolnay/rust-toolchain@1.86
+      - uses: Swatinem/rust-cache@v2
+      - name: construction du workspace au MSRV
+        run: cargo build --workspace --locked
+      - name: tests au MSRV
+        run: cargo test --workspace --locked
+
+  probe:
+    name: probe (avec PipeWire)
+    runs-on: ubuntu-24.04
+    steps:
+      - uses: actions/checkout@v4
+      - name: dépendances système
+        run: |
+          sudo apt-get update
+          sudo apt-get install -y --no-install-recommends \
+            build-essential pkg-config libpipewire-0.3-dev libclang-dev
+      - uses: dtolnay/rust-toolchain@stable
+        with:
+          components: rustfmt, clippy
+      - uses: Swatinem/rust-cache@v2
+      - name: format
+        run: cargo fmt --all -- --check
+      - name: clippy
+        run: cargo clippy --workspace --all-targets -- -D warnings
+      - name: construction
+        run: cargo build --workspace
+      # La sonde n'est pas exécutée en CI : elle exige un portail et une session
+      # graphique. Elle se lance à la main, cf. docs/phase0-results.md.