Using the rascal from the branch to run the tool itself

usethesource · Sep 11, 2024 · 1335a7d · 1335a7d
1 parent 890bf86
commit 1335a7d
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/run-integration-test.yml b/.github/workflows/run-integration-test.yml
@@ -85,7 +85,7 @@ jobs:
 
       - name: Typecheck rascal
         run: |
-          java -jar target/dependencies/rascal.jar Main \
+          java -jar rascal/rascal.jar Main \
             --rascalVersion "|cwd:///rascal/rascal.jar|" \
             --typepalVersion "|cwd:///typepal|" \
             --rascalCoreVersion "|cwd:///rascal-core|" \
@@ -127,7 +127,7 @@ jobs:
 
       - name: Typecheck rascal-libs
         run: |
-          java -jar target/dependencies/rascal.jar Main \
+          java -jar rascal/rascal.jar Main \
             --rascalVersion "|cwd:///rascal/rascal.jar|" \
             --typepalVersion "|cwd:///typepal|" \
             --rascalCoreVersion "|cwd:///rascal-core|" \