From 50a10ec56b56a02486eb48f28b9fd251637108bd Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jon=C3=A1=C5=A1=20Fiala?= Date: Wed, 14 Feb 2024 14:49:05 +0100 Subject: [PATCH] Revert "enable super hacky hack to get viperserver from polybox" This reverts commit 018c1f15f442a4956b775951c5f74beb63449843. --- .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 ee112e50..4808d536 100644 --- 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: