From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Mon, 11 Oct 2021 23:53:17 +0000 (-0700)
Subject: Fix release action.
X-Git-Tag: cvc5-1.0.0~1086
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=79b4f47b5d988af3931e3ca4f199d1bb946d1f4f;p=cvc5.git

Fix release action.
---

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 }}