diff options
| author | Josh Chen | 2020-07-16 18:59:34 +0200 |
|---|---|---|
| committer | Josh Chen | 2020-07-16 18:59:34 +0200 |
| commit | d81a1db878414209a89dcfcc39b6be4b64f20cd4 (patch) | |
| tree | a89f8a4489a71daf7d0423e1373743dd0be00848 /.github | |
| parent | f82258111e48a94d22f12fd4920d443edb66fb55 (diff) | |
fix action path
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/main.yml | 2 |
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 ." |