try ci again

argumentcomputer · Aug 17, 2023 · 11fa45b · 11fa45b
1 parent fdbd0b1
commit 11fa45b
Showing 1 changed file with 14 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -78,6 +78,20 @@ jobs:
       - name: Doctests
         run: |
           cargo test --doc --workspace --profile dev-ci
+
+  
+  # make sure circom integration works 
+  circom-integration:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v3
+      - uses: actions-rs/toolchain@v1
+      - uses: actions/checkout@v3
+        with:
+          repository: iden3/circomlib
+          path: "./"
+      - run: cargo run --release -- circom --name sha256_2_test ./circomlib/tests/circuits/sha256_2_test.circom
+      - run: cargo run --release --example circom
 
   clippy:
     runs-on: ubuntu-latest