From eab890b514b4ff16e46959117416c6db2c27aaf6 Mon Sep 17 00:00:00 2001
From: Josh Chen
Date: Sat, 17 Apr 2021 17:53:48 +0100
Subject: update CI to Isabelle 2021

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

diff --git a/.github/isabelle-action/Dockerfile b/.github/isabelle-action/Dockerfile
index dae0c0c..958471b 100644
--- a/.github/isabelle-action/Dockerfile
+++ b/.github/isabelle-action/Dockerfile
@@ -10,9 +10,9 @@ RUN apt-get -y update &&\
   apt-get clean
 
 # Set up Isabelle
-ADD https://isabelle.in.tum.de/website-Isabelle2020/dist/Isabelle2020_linux.tar.gz Isabelle.tar.gz
+ADD https://isabelle.in.tum.de/dist/Isabelle2021_linux.tar.gz Isabelle.tar.gz
 RUN tar xzf Isabelle.tar.gz &&\
-  mv Isabelle2020 Isabelle &&\
+  mv Isabelle2021 Isabelle &&\
   perl -pi -e 's,ISABELLE_HOME_USER=.*,ISABELLE_HOME_USER="\$HOME/.isabelle",g;' Isabelle/etc/settings &&\
   perl -pi -e 's,ISABELLE_LOGIC=.*,ISABELLE_LOGIC=Pure,g;' Isabelle/etc/settings &&\
   Isabelle/bin/isabelle build -o system_heaps -b Pure &&\
-- 
cgit v1.2.3