From 1ff98c9bf82002a526a1851b05504e1f59361d00 Mon Sep 17 00:00:00 2001
From: Josh Chen
Date: Fri, 17 Jul 2020 10:41:19 +0200
Subject: more test

---
 .github/isabelle-action/Dockerfile | 1 +
 1 file changed, 1 insertion(+)

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

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 &&\
-- 
cgit v1.2.3