feat: arkworks groth16 conversion (#1783)

succinctlabs · Nov 13, 2024 · 642dd5d · 642dd5d
1 parent af1c35d
commit 642dd5d
Show file tree

Hide file tree

Showing 10 changed files with 424 additions and 45 deletions.
diff --git a/.github/workflows/pr.yml b/.github/workflows/pr.yml
@@ -422,7 +422,7 @@ jobs:
         runs-on,
         runner=64cpu-linux-x64,
         spot=false,
-        hdd=150,
+        hdd=80,
         "run-id=${{ github.run_id }}",
       ]    
     env: