update arkworks tag

l-adic · Jan 18, 2024 · 2d8c750 · 2d8c750
1 parent 8506960
commit 2d8c750
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/nix-ci.yml b/.github/workflows/nix-ci.yml
@@ -18,7 +18,7 @@ jobs:
       uses: jaxxstorm/[email protected]
       with:
         repo: torsion-labs/arkworks-bridge
-        tag: v0.2.0
+        tag: v1.0.0-rc1
 
     - uses: cachix/install-nix-action@v24
       with:

diff --git a/app/Main.hs b/app/Main.hs
@@ -6,4 +6,4 @@ import Snarkl.Toplevel (Comp, Ty (TField))
 import qualified Test.Snarkl.Unit.Programs as Programs
 
 main :: IO ()
-main = defaultMain "prog2" (Programs.prog2 10 :: Comp 'TField F_BN128)
+main = defaultMain "prog" (Programs.prog2 10 :: Comp 'TField F_BN128)