From f510ca75c5b01528840a0331012ef10a5545012b Mon Sep 17 00:00:00 2001
From: Josh Chen
Date: Fri, 17 Jul 2020 11:06:19 +0200
Subject: fix path

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

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

diff --git a/.github/isabelle-action/Dockerfile b/.github/isabelle-action/Dockerfile
index 20b250d..2c7af73 100644
--- a/.github/isabelle-action/Dockerfile
+++ b/.github/isabelle-action/Dockerfile
@@ -19,6 +19,7 @@ RUN tar xzf Isabelle.tar.gz &&\
   rm Isabelle.tar.gz
 
 # Set up entrypoint
-RUN chmod +x entrypoint.sh
-ENTRYPOINT ["entrypoint.sh"]
+COPY entrypoint.sh /entrypoint.sh
+RUN chmod +x /entrypoint.sh
 
+ENTRYPOINT ["/entrypoint.sh"]
-- 
cgit v1.2.3