Update docker-image.yml

chyanju · Aug 17, 2023 · 367cdc8 · 367cdc8
1 parent 5d96a64
commit 367cdc8
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.github/workflows/docker-image.yml b/.github/workflows/docker-image.yml
@@ -60,6 +60,8 @@ jobs:
         run: bash ./scripts/prepare-circomlib.sh
       - name: preparing rosette
         run: raco pkg install --auto rosette
+      - name: preparing rosette
+        run: raco pkg install --auto csv-reading
       - name: run picus with z3, using v3
         run: racket ./picus-dpvl-uniqueness.rkt --solver z3 --r1cs ./benchmarks/circomlib-cff5ab6/[email protected] --weak
 
@@ -79,5 +81,7 @@ jobs:
         run: bash ./scripts/prepare-circomlib.sh
       - name: preparing rosette
         run: raco pkg install --auto rosette
+      - name: preparing rosette
+        run: raco pkg install --auto csv-reading
       - name: run picus with cvc5, using v3
         run: racket ./picus-dpvl-uniqueness.rkt --solver cvc5 --r1cs ./benchmarks/circomlib-cff5ab6/[email protected] --weak