From e75a2a2ddfd82d4ba2e65526be1ed92f64369b48 Mon Sep 17 00:00:00 2001
From: Josh Chen
Date: Thu, 16 Jul 2020 23:31:04 +0200
Subject: probe directories

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

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