diff options
Diffstat (limited to '.github/workflows/ci.yml')
| -rw-r--r-- | .github/workflows/ci.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 4b9f617..36b01ec 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -9,5 +9,5 @@ jobs: - uses: actions/checkout@v1 - uses: ./.github/isabelle-action with: - TOOL_ARGS: "build -D ." + TOOL_ARGS: "build -D $GITHUB_WORKSPACE" |