enable super hacky hack to get viperserver from polybox

viperproject · Feb 14, 2024 · 018c1f1 · 018c1f1
1 parent 0790cc5
commit 018c1f1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -48,7 +48,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://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: