diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2021-10-11 16:53:17 -0700 |
---|---|---|
committer | Mathias Preiner <mathias.preiner@gmail.com> | 2021-10-11 16:53:41 -0700 |
commit | 79b4f47b5d988af3931e3ca4f199d1bb946d1f4f (patch) | |
tree | b29f630859d180c50558b3ef0314c22ee4114f81 /.github | |
parent | 18e52361a8109c62de3636b3a261b25e3991734b (diff) |
Fix release action.
Diffstat (limited to '.github')
-rw-r--r-- | .github/actions/add-to-release/action.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.github/actions/add-to-release/action.yml b/.github/actions/add-to-release/action.yml index 09998f46f..1db34bdf8 100644 --- a/.github/actions/add-to-release/action.yml +++ b/.github/actions/add-to-release/action.yml @@ -7,6 +7,7 @@ runs: using: composite steps: - name: Rename binaries for release + shell: bash run: | cp build/bin/cvc5 cvc5-${{ runner.os }} |