diff options
Diffstat (limited to '.github/actions/add-to-release/action.yml')
-rw-r--r-- | .github/actions/add-to-release/action.yml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/.github/actions/add-to-release/action.yml b/.github/actions/add-to-release/action.yml index 1db34bdf8..a5939e20c 100644 --- a/.github/actions/add-to-release/action.yml +++ b/.github/actions/add-to-release/action.yml @@ -1,6 +1,8 @@ name: Add binary to release description: Add cvc5 binary to the current release inputs: + binary: + description: file name of binary github-token: description: token to upload binary runs: @@ -9,7 +11,7 @@ runs: - name: Rename binaries for release shell: bash run: | - cp build/bin/cvc5 cvc5-${{ runner.os }} + cp ${{ inputs.binary }} cvc5-${{ runner.os }} - name: Add binaries to release uses: softprops/action-gh-release@v1 |