From 6f2dc473cda23d0bc43bc1e95c2b655ad1d9c237 Mon Sep 17 00:00:00 2001
From: Josh Chen
Date: Thu, 16 Jul 2020 23:28:28 +0200
Subject: test

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

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

diff --git a/.github/isabelle-action/Dockerfile b/.github/isabelle-action/Dockerfile
index cb379d6..ab594df 100644
--- a/.github/isabelle-action/Dockerfile
+++ b/.github/isabelle-action/Dockerfile
@@ -24,5 +24,6 @@ RUN tar xzf Isabelle.tar.gz &&\
   rm Isabelle.tar.gz
 
 # ENTRYPOINT ["Isabelle/bin/isabelle"]
-ENTRYPOINT [ "sh", "-c", "Isabelle/bin/isabelle $INPUT_TOOL_ARGS" ]
+#ENTRYPOINT [ "sh", "-c", "./Isabelle/bin/isabelle $INPUT_TOOL_ARGS" ]
+#ENTRYPOINT [ "sh", "-c", "ls" ]
 
-- 
cgit v1.2.3