Revert RevertRevertRevertRevert

viperproject · Feb 14, 2024 · 89de1e7 · 89de1e7
1 parent 8411660
commit 89de1e7
Show file tree

Hide file tree

Showing 2 changed files with 5 additions 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:

diff --git a/client/src/test/data/settings/nightly.json b/client/src/test/data/settings/nightly.json
@@ -0,0 +1,4 @@
+{
+    "viper.buildVersion": "Nightly",
+    "viper.viperServer.trace.server": "verbose"
+}