diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index 0267bcd3..fa1702fa 100644
--- a/.github/workflows/test.yml
+++ b/.github/workflows/test.yml
@@ -39,7 +39,7 @@ on:
 env:
   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
+  TEST_LOCAL_ON_PUSH_PR_VIPERTOOLS_URL: https://github.com/viperproject/viper-ide/releases/download/v4.3.1
   # the following  URL is not extended and downloading the destination is expected to return the viperserver.jar:
   TEST_LOCAL_ON_PUSH_PR_VIPERSERVER_URL: https://polybox.ethz.ch/index.php/s/2sRctTahzg4Ly3d