diff --git a/.github/workflows/prover-ec-dev-version.yml b/.github/workflows/prover-ec-dev-version.yml
index 610b1e07..2ccd8b51 100644
--- 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
index e5b0796a..88a932b2 160000
--- a/jasmin
+++ b/jasmin
@@ -1 +1 @@
-Subproject commit e5b0796a8fa2e19b9b1ecba413d65c11c5dd07ed
+Subproject commit 88a932b2bf478345597f75be31ae25e5acefafae