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/isabelle-action/action.yml | |
parent | 64a41c356231806c13f6fcbcb165512cbbbc3328 (diff) |
try try again
Diffstat (limited to '.github/isabelle-action/action.yml')
-rw-r--r-- | .github/isabelle-action/action.yml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.github/isabelle-action/action.yml b/.github/isabelle-action/action.yml index 482aead..49c043f 100644 --- a/.github/isabelle-action/action.yml +++ b/.github/isabelle-action/action.yml @@ -3,8 +3,8 @@ description: "Build ROOT file" author: "josh@joshchen.io" inputs: - OPTION: - description: "Options to invoke" + TOOL_ARGS: + description: "Tool and argument invokation" required: true runs: |