From 64a41c356231806c13f6fcbcb165512cbbbc3328 Mon Sep 17 00:00:00 2001
From: Josh Chen
Date: Thu, 16 Jul 2020 19:53:11 +0200
Subject: try again

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

(limited to '.github/isabelle-action')

diff --git a/.github/isabelle-action/Dockerfile b/.github/isabelle-action/Dockerfile
index e221025..7c9a182 100644
--- a/.github/isabelle-action/Dockerfile
+++ b/.github/isabelle-action/Dockerfile
@@ -1,6 +1,6 @@
 ## Isabelle/Pure on Isabelle2020
 
-FROM ubuntu
+FROM ubuntu-latest
 SHELL ["/bin/bash", "-c"]
 
 # packages
@@ -16,11 +16,11 @@ USER isabelle
 # Isabelle
 WORKDIR /home/isabelle
 ADD --chown=isabelle:isabelle https://isabelle.in.tum.de/dist/Isabelle2020_linux.tar.gz Isabelle.tar.gz
-RUN 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 && \
-  Isabelle/bin/isabelle build -o system_heaps -b Pure && \
+RUN 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 &&\
+  Isabelle/bin/isabelle build -o system_heaps -b Pure &&\
   rm Isabelle.tar.gz
 
 ENTRYPOINT ["Isabelle/bin/isabelle"]
-- 
cgit v1.2.3