[ci] getting rascal compiled v4

usethesource · Sep 10, 2024 · 333a7df · 333a7df
1 parent 258f4ef
commit 333a7df
Showing 1 changed file with 4 additions and 3 deletions.
diff --git a/.github/workflows/run-integration-test.yml b/.github/workflows/run-integration-test.yml
@@ -42,15 +42,16 @@ jobs:
 
       - uses: actions/setup-java@v4
         with:
-          java-version: 17
+          java-version: 11
           distribution: 'temurin'
           cache: 'maven'
 
       - name: Compile rascal java
-        run: mvn -B clean compile package -Drascal.tutor.skip -DskipTest -Drascal.compile.skip
+        run: mvn -B clean compile package -Drascal.tutor.skip -DskipTests -Drascal.compile.skip
         working-directory: deps/rascal
 
       - run: find deps/rascal/target -name '*-shaded.jar' -exec mv '{}' deps/rascal/rascal.jar \;
+        name: copy rascal jar to predictable location
 
       - uses: actions/upload-artifact@v4
         name: 'Store dependencies for the other jobs'
@@ -67,7 +68,7 @@ jobs:
       - uses: actions/checkout@v4
       - uses: actions/setup-java@v4
         with:
-          java-version: 17
+          java-version: 11
           distribution: 'temurin'
           cache: 'maven'