From 9eb4aeb3c2cfeb9bba05e7cf34976946a4d29677 Mon Sep 17 00:00:00 2001
From: Josh Chen
Date: Fri, 17 Jul 2020 11:11:13 +0200
Subject: final test push

---
 .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 2c7af73..34a4adf 100644
--- a/.github/isabelle-action/Dockerfile
+++ b/.github/isabelle-action/Dockerfile
@@ -23,3 +23,4 @@ COPY entrypoint.sh /entrypoint.sh
 RUN chmod +x /entrypoint.sh
 
 ENTRYPOINT ["/entrypoint.sh"]
+
-- 
cgit v1.2.3