submodule: update jasmin

formosa-crypto · Jul 21, 2024 · 56a879c · 56a879c
1 parent 02b5d9d
commit 56a879c
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/prover-ec-dev-version.yml b/.github/workflows/prover-ec-dev-version.yml
@@ -10,7 +10,7 @@ env:
   OPAMROOT: /home/charlie/.opam
   OPAMYES: true
   OPAMJOBS: 2
-  ECRJOBS: 1
+  ECRJOBS: 2
 
 jobs:
   ec:

diff --git a/jasmin b/jasmin