diff options
| author | Josh Chen | 2020-07-16 23:24:34 +0200 |
|---|---|---|
| committer | Josh Chen | 2020-07-16 23:24:34 +0200 |
| commit | 61f2b7732c2fb43fa85142286522177cc5d7f2a9 (patch) | |
| tree | de8ece2e19d6d51972215e83ff96ad55b1e53bdb /.github/workflows/main.yml | |
| parent | 64a41c356231806c13f6fcbcb165512cbbbc3328 (diff) | |
try try again
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 ." |