diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 765c0595c19faba34857e51eb388ac68fb50b3c1..faff8b0b12d25b72327d4d3af7ff9f87e196a74b 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -4,6 +4,9 @@ stages: - test - check_reproducibility +variables: + JAVA_HOME: /usr/lib/jvm/java-17-openjdk-amd64 + workflow: # when to create a CI pipeline rules: