Run the quantifiers example in CI (#28)

Per the tin
elliottt · Aug 2, 2024 · c58c72e · c58c72e
1 parent b870aeb
commit c58c72e
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -23,4 +23,6 @@ jobs:
     - name: Run tests
       run: cargo test --verbose
     - name: Run Sudoku Example
-      run: cargo run --example sudoku
+      run: |
+      cargo run --example sudoku
+      cargo run --example quantifiers