From 402a802f70c452ec365dd9e39d6824c0f68a8e8c Mon Sep 17 00:00:00 2001
From: Josh Chen
Date: Thu, 16 Jul 2020 19:19:03 +0200
Subject: download Isabelle from TUM archives

---
 .github/isabelle-action/Dockerfile | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/.github/isabelle-action/Dockerfile b/.github/isabelle-action/Dockerfile
index b223e02..89028c2 100644
--- a/.github/isabelle-action/Dockerfile
+++ b/.github/isabelle-action/Dockerfile
@@ -15,8 +15,9 @@ USER isabelle
 
 # Isabelle
 WORKDIR /home/isabelle
-COPY Isabelle.tar.gz .
-RUN tar xzf Isabelle.tar.gz && \
+RUN
+  curl -o Isabelle.tar.gz https://isabelle.in.tum.de/dist/Isabelle2020_linux.tar.gz
+  tar xzf Isabelle.tar.gz && \
   mv Isabelle2020 Isabelle && \
   perl -pi -e 's,ISABELLE_HOME_USER=.*,ISABELLE_HOME_USER="\$USER_HOME/.isabelle",g;' Isabelle/etc/settings && \
   perl -pi -e 's,ISABELLE_LOGIC=.*,ISABELLE_LOGIC=Pure,g;' Isabelle/etc/settings && \
-- 
cgit v1.2.3