From a3ded5c69cdec6875f926c6820f785a0cb73394d Mon Sep 17 00:00:00 2001 From: Dspil Date: Thu, 22 Aug 2024 15:18:23 +0200 Subject: [PATCH 1/5] try the lsp jar --- .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 2cf07013..366cd997 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml @@ -41,7 +41,7 @@ env: # 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://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/54sDcqHDJHelKBY/download + TEST_LOCAL_ON_PUSH_PR_VIPERSERVER_URL: https://polybox.ethz.ch/index.php/s/2sRctTahzg4Ly3d jobs: build-and-test: From f27495304f5fd08964c5a15539497bc11346437b Mon Sep 17 00:00:00 2001 From: Dspil Date: Thu, 22 Aug 2024 15:37:37 +0200 Subject: [PATCH 2/5] vipertools --- .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 366cd997..adb5c58e 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml @@ -39,7 +39,7 @@ on: env: TEST_LOCAL_ON_PUSH_PR: false # 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://github.com/viperproject/viper-ide/releases/download/v-2022-09-21-1611 + TEST_LOCAL_ON_PUSH_PR_VIPERTOOLS_URL: https://polybox.ethz.ch/index.php/s/13pY5Zdf6J3RfFf # 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 From 4f1bd98cfc6278b6ab0e0c3c8bb1184782f665b1 Mon Sep 17 00:00:00 2001 From: Dspil Date: Thu, 22 Aug 2024 15:41:06 +0200 Subject: [PATCH 3/5] test local on push --- .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 adb5c58e..77234a9f 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml @@ -37,7 +37,7 @@ on: # in particular, they control whether Viper-IDE is tested against certain ViperTools and a ViperServer JAR on push and pull requests # this is particularly useful during debugging / testing as a new Viper-IDE release is not necessary for every change to the ViperServer JAR env: - TEST_LOCAL_ON_PUSH_PR: false + 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 # the following URL is not extended and downloading the destination is expected to return the viperserver.jar: From c571f3c8878118250a6ae718b0069e0e4f2a8b14 Mon Sep 17 00:00:00 2001 From: Dspil Date: Thu, 22 Aug 2024 15:50:22 +0200 Subject: [PATCH 4/5] 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 From 1269b8435e09ae3abcc54c6ecfb6afcb60039737 Mon Sep 17 00:00:00 2001 From: Dspil Date: Thu, 22 Aug 2024 15:53:15 +0200 Subject: [PATCH 5/5] stuff --- .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 0267bcd3..fa1702fa 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://github.com/viperproject/viper-ide/releases/download/v-2022-09-21-1611 + TEST_LOCAL_ON_PUSH_PR_VIPERTOOLS_URL: https://github.com/viperproject/viper-ide/releases/download/v4.3.1 # 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