update refaster-version in Gitlab-CI.

sosy-lab · Jun 14, 2020 · 9de64ac · 9de64ac
1 parent 586fc73
commit 9de64ac
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
@@ -4,9 +4,9 @@ variables:
   PROJECT_PATH: "sosy-lab/software/java-smt"
   GH_REF: "github.com/sosy-lab/java-smt"
   # Version of https://gitlab.com/sosy-lab/software/refaster/ to use
-  REFASTER_REPO_REVISION: 0c4e9686d53f4c681a74d06e73d180837af38d33
+  REFASTER_REPO_REVISION: 1c7b66df1ee6460c3a7b04bc4495f440a093ece7
   # Needs to be synchronized with Error Prone version in lib/ivy.xml
-  REFASTER_VERSION: 2.3.4
+  REFASTER_VERSION: 2.4.0
 
 build:jdk-14:
   variables: