aboutsummaryrefslogtreecommitdiff
path: root/.github/isabelle-action/Dockerfile
diff options
context:
space:
mode:
authorJosh Chen2020-07-17 10:41:19 +0200
committerJosh Chen2020-07-17 10:41:19 +0200
commit1ff98c9bf82002a526a1851b05504e1f59361d00 (patch)
treed4bf1ab11a29a2fd8dbca2c18b7311f86fa19493 /.github/isabelle-action/Dockerfile
parent31dca5713d3fbd8401dd35cbf12c2cfcb4944db8 (diff)
more test
Diffstat (limited to '.github/isabelle-action/Dockerfile')
-rw-r--r--.github/isabelle-action/Dockerfile1
1 files changed, 1 insertions, 0 deletions
diff --git a/.github/isabelle-action/Dockerfile b/.github/isabelle-action/Dockerfile
index 28fcf65..a6caa79 100644
--- a/.github/isabelle-action/Dockerfile
+++ b/.github/isabelle-action/Dockerfile
@@ -11,6 +11,7 @@ RUN apt-get -y update &&\
# Isabelle
+RUN echo $USER_HOME
ADD https://isabelle.in.tum.de/dist/Isabelle2020_linux.tar.gz Isabelle.tar.gz
RUN ls
RUN tar xzf Isabelle.tar.gz &&\