From 1335a7d72e6c5984398d883323935a7d53900409 Mon Sep 17 00:00:00 2001 From: Davy Landman Date: Wed, 11 Sep 2024 10:04:11 +0200 Subject: [PATCH] Using the rascal from the branch to run the tool itself --- .github/workflows/run-integration-test.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/run-integration-test.yml b/.github/workflows/run-integration-test.yml index ee385f0..473f5c1 100644 --- 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|" \