Fix CI

elliottt · Aug 2, 2024 · 023a922 · 023a922
1 parent b8d6d9c
commit 023a922
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -24,5 +24,5 @@ jobs:
       run: cargo test --verbose
     - name: Run Sudoku Example
       run: |
-      cargo run --example sudoku
-      cargo run --example quantifiers
+        cargo run --example sudoku
+        cargo run --example quantifiers