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 +
 .github/workflows/ci.yml           | 1 +
 2 files changed, 2 insertions(+)

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"]
+
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 36b01ec..415afd1 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -4,6 +4,7 @@ on: push
 jobs:
   build:
     name: build ROOT
+    description: "Build repository ROOT file"
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v1
-- 
cgit v1.2.3