From d2f078e713eb3ebb405610685c9991ee4d26ebef Mon Sep 17 00:00:00 2001 From: gauravpartha Date: Thu, 5 Dec 2024 12:45:10 +0100 Subject: [PATCH] update link for downloading Isabelle 2024 --- .github/workflows/ci.yaml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml index fc286b2..d174d3a 100644 --- a/.github/workflows/ci.yaml +++ b/.github/workflows/ci.yaml @@ -21,7 +21,7 @@ jobs: - name: Download and install Isabelle run: | - wget --quiet https://isabelle.in.tum.de/website-Isabelle2024/dist/Isabelle2024_linux.tar.gz -O isabelle.tar.gz + wget --quiet https://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/Isabelle2024_linux.tar.gz -O isabelle.tar.gz mkdir -p isabelle tar -xzf isabelle.tar.gz -C isabelle --strip-components=1 rm isabelle.tar.gz