fix CI, since Isabelle 2022 is not anymore the current version

viperproject · Oct 30, 2023 · 649486b · 649486b
1 parent 24b106d
commit 649486b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -19,7 +19,7 @@ jobs:
 
       - name: Download and install Isabelle
         run: |
-          wget --quiet https://isabelle.in.tum.de/dist/Isabelle2022_linux.tar.gz
+          wget --quiet https://isabelle.in.tum.de/website-Isabelle2022/dist/Isabelle2022_linux.tar.gz
           tar -xf Isabelle2022_linux.tar.gz
           rm Isabelle2022_linux.tar.gz
           mv Isabelle2022 isabelle_dir