Run the quantifiers example in CI

elliottt · Aug 2, 2024 · 6ac1329 · 6ac1329
1 parent b870aeb
commit 6ac1329
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