aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJosh Chen2020-07-16 23:31:04 +0200
committerJosh Chen2020-07-16 23:31:04 +0200
commite75a2a2ddfd82d4ba2e65526be1ed92f64369b48 (patch)
tree55298cddff15b6ae0f147dc4a8d50a693c64dcf0
parent6f2dc473cda23d0bc43bc1e95c2b655ad1d9c237 (diff)
probe directories
-rw-r--r--.github/isabelle-action/Dockerfile2
1 files changed, 1 insertions, 1 deletions
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" ]