Binary release

project-everest · Jan 28, 2020 · 2bb160d · 2bb160d
1 parent 944d0a7
commit 2bb160d
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": "774ba10d7c37fc6af3a0f66fafb703a68b4caa10",
-        "binary_release_vale_version": "0.3.10"
+        "binary_release_vale_version": "0.3.11"
     }
 }