aboutsummaryrefslogtreecommitdiff
path: root/.github/workflows
diff options
context:
space:
mode:
authorJosh Chen2020-07-16 18:59:34 +0200
committerJosh Chen2020-07-16 18:59:34 +0200
commitd81a1db878414209a89dcfcc39b6be4b64f20cd4 (patch)
treea89f8a4489a71daf7d0423e1373743dd0be00848 /.github/workflows
parentf82258111e48a94d22f12fd4920d443edb66fb55 (diff)
fix action path
Diffstat (limited to '.github/workflows')
-rw-r--r--.github/workflows/main.yml2
1 files changed, 1 insertions, 1 deletions
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 ."