ci: add time example to ci

spaceandtimelabs · Oct 22, 2024 · 9d38169 · 9d38169
1 parent de588c4
commit 9d38169
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/lint-and-test.yml b/.github/workflows/lint-and-test.yml
@@ -116,6 +116,8 @@ jobs:
         run: bash crates/proof-of-sql/examples/posql_db/run_example.sh
       - name: Run posql_db example (Without Blitzar)
         run: bash crates/proof-of-sql/examples/posql_db/run_example.sh --no-default-features --features="rayon"
+      - name: Run time example
+        run: cargo run --example time
 
   clippy:
     name: Clippy