update Java version for Refaster to avoid a crash in the CI.
@@ -167,7 +167,7 @@ unit-tests:jdk-14:
refaster:
<<: *source_check
- image: ${CI_REGISTRY_IMAGE}/test:jdk-11
+ image: ${CI_REGISTRY_IMAGE}/test:jdk-14
before_script:
- 'test -d refaster || git clone https://gitlab.com/sosy-lab/software/refaster.git'
- 'cd refaster'
