From 79b4f47b5d988af3931e3ca4f199d1bb946d1f4f Mon Sep 17 00:00:00 2001
From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Mon, 11 Oct 2021 16:53:17 -0700
Subject: [PATCH] Fix release action.

---
 .github/actions/add-to-release/action.yml | 1 +
 1 file changed, 1 insertion(+)

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