path

uuverifiers · Jan 19, 2024 · 5aa2904 · 5aa2904
1 parent f7d49e1
commit 5aa2904
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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