From d81a1db878414209a89dcfcc39b6be4b64f20cd4 Mon Sep 17 00:00:00 2001
From: Josh Chen
Date: Thu, 16 Jul 2020 18:59:34 +0200
Subject: fix action path

---
 .github/workflows/main.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index dfcfb7b..43da8a9 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -7,7 +7,7 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v1
-      - uses: ./isabelle-action
+      - uses: ./.github/isabelle-action
         with:
           OPTION: "build -D ."
 
-- 
cgit v1.2.3