From c571f3c8878118250a6ae718b0069e0e4f2a8b14 Mon Sep 17 00:00:00 2001 From: Dspil Date: Thu, 22 Aug 2024 15:50:22 +0200 Subject: [PATCH] only viperserver --- .github/workflows/test.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index 77234a9f..0267bcd3 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml @@ -39,7 +39,7 @@ on: env: TEST_LOCAL_ON_PUSH_PR: true # note that the following URL is extended with `/${{ matrix.viper-tools-zip-file }}` in the 'build-and-test' job: - TEST_LOCAL_ON_PUSH_PR_VIPERTOOLS_URL: https://polybox.ethz.ch/index.php/s/13pY5Zdf6J3RfFf + TEST_LOCAL_ON_PUSH_PR_VIPERTOOLS_URL: https://github.com/viperproject/viper-ide/releases/download/v-2022-09-21-1611 # the following URL is not extended and downloading the destination is expected to return the viperserver.jar: TEST_LOCAL_ON_PUSH_PR_VIPERSERVER_URL: https://polybox.ethz.ch/index.php/s/2sRctTahzg4Ly3d