Binary release

project-everest · Sep 22, 2021 · 6b06e48 · 6b06e48
1 parent 83c8592
commit 6b06e48
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.docker/build/config.json b/.docker/build/config.json
@@ -30,6 +30,6 @@
     "ValeProject": {
         "recommended_z3_version": "4.8.5",
         "recommended_fstar_version": "4421f806d6c182d72911cc64eba8a420c398b9aa",
-        "binary_release_vale_version": "0.3.17"
+        "binary_release_vale_version": "0.3.18"
     }
 }