Add ninja diff to CI

2026-05-23 06:54:16 -04:00 · 2025-05-17 14:56:59 -04:00
parent ea73a9c5fe
commit 9d5bd50246
1 changed files with 4 additions and 0 deletions
@@ -35,6 +35,10 @@ jobs:
    - name: Prepare
      run: cp -R /orig .

+    - name: Diff
+      run: |
+        ninja diff
+
    # Build the project
    - name: Build
      run: |