add cargo risczero test

risc0 · Oct 2, 2023 · 9736448 · 9736448
1 parent bef476b
commit 9736448
Showing 1 changed file with 11 additions and 0 deletions.
diff --git a/.github/workflows/curve25519-dalek.yml b/.github/workflows/curve25519-dalek.yml
@@ -142,3 +142,14 @@ jobs:
     - run: cargo build --no-default-features --features serde
     # Also make sure the AVX2 build works
     - run: cargo build --target x86_64-unknown-linux-gnu
+
+  risczero-test:
+    name: Risc Zero Test
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v3
+      - uses: risc0/risc0/.github/actions/rustup@main
+        with:
+          toolchain: nightly-2023-03-06
+      - run: cargo install cargo-risczero --git https://github.com/risc0/risc0 --features experimental
+      - run: cargo risczero test -- --release --all-features