fix

4tXJ7f · Mar 16, 2022 · 6b88ec4 · 6b88ec4
1 parent 81450c0
commit 6b88ec4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/actions/add-to-release/action.yml b/.github/actions/add-to-release/action.yml
@@ -13,7 +13,7 @@ runs:
     - name: Rename binaries for release
       shell: bash
       run: |
-        cp ${{ inputs.binary }} cvc5-${{ runner.os }}${{ inputs.binary-ext }}
+        cp ${{ inputs.binary }}${{ inputs.binary-ext }} cvc5-${{ runner.os }}${{ inputs.binary-ext }}
 
     - name: Add binaries to release
       uses: softprops/action-gh-release@v1