From 5aa2904631d14e783e45c630a707ccf3366920b0 Mon Sep 17 00:00:00 2001
From: Philipp Ruemmer <ph_r@gmx.net>
Date: Fri, 19 Jan 2024 13:12:23 +0100
Subject: [PATCH] path

---
 .github/workflows/scala.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/scala.yml b/.github/workflows/scala.yml
index cc1031a4..df8b9f5d 100644
--- a/.github/workflows/scala.yml
+++ b/.github/workflows/scala.yml
@@ -23,5 +23,5 @@ jobs:
     - name: UnitTests
       run: sbt test
     - name: Test
-      run: cd regression-tests; export TERM=xterm; wget http://logicrunch.it.uu.se:4096/~philipp/yices; chmod +x yices; export PATH=`pwd`:$PATH; ./runalldirs
+      run: cd regression-tests; export TERM=xterm; wget https://eldarica.org/yices; chmod +x yices; export PATH=`pwd`:$PATH; ./runalldirs