update refaster-version in Gitlab-CI.
@@ -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:
