update Jasmin from gitlab; update EasyCrypt to release

formosa-crypto · Apr 16, 2024 · 4844916 · 4844916
1 parent 39ebe2e
commit 4844916
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/scripts/ci/config/easycrypt b/scripts/ci/config/easycrypt
@@ -1 +1 @@
-eaba09c215c28b292259bd61aaf575bf7d21dbfe
+2b3bbadffa084466fd3450f367b2102e032c1301
diff --git a/scripts/ci/config/jasmin b/scripts/ci/config/jasmin
@@ -1 +1 @@
-bac2b00b31c8e2d4f1af281da8af06f79332b6ca
+7be631a8da1dc3f7c966681028138ae56d8e4610