From 018c1f15f442a4956b775951c5f74beb63449843 Mon Sep 17 00:00:00 2001 From: Linard Arquint Date: Wed, 14 Feb 2024 14:35:17 +0100 Subject: [PATCH] enable super hacky hack to get viperserver from polybox --- .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 4808d536..ee112e50 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: 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: