Revert "enable super hacky hack to get viperserver from polybox"

This reverts commit 018c1f1.
viperproject · Feb 14, 2024 · 50a10ec · 50a10ec
1 parent d848e1c
commit 50a10ec
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: true
+  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
   # the following  URL is not extended and downloading the destination is expected to return the viperserver.jar: