diff options
Diffstat (limited to '.github/workflows/main.yml')
| -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 43da8a9..9548ae7 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -9,5 +9,5 @@ jobs: - uses: actions/checkout@v1 - uses: ./.github/isabelle-action with: - OPTION: "build -D ." + TOOL_ARGS: "build -D ." |