Binary release

project-everest · Feb 9, 2021 · 4c82934 · 4c82934
1 parent 3b7fd85
commit 4c82934
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.docker/build/config.json b/.docker/build/config.json
@@ -29,7 +29,7 @@
 
     "ValeProject": {
         "recommended_z3_version": "4.8.5",
-        "recommended_fstar_version": "7a7dc377d52b91ea8c40a0146bfb4e8900e450ed",
-        "binary_release_vale_version": "0.3.16"
+        "recommended_fstar_version": "4421f806d6c182d72911cc64eba8a420c398b9aa",
+        "binary_release_vale_version": "0.3.17"
     }
 }