projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 18e5236)
Fix release action.
authorMathias Preiner <mathias.preiner@gmail.com>
Mon, 11 Oct 2021 23:53:17 +0000 (16:53 -0700)
committerMathias Preiner <mathias.preiner@gmail.com>
Mon, 11 Oct 2021 23:53:41 +0000 (16:53 -0700)
.github/actions/add-to-release/action.yml patch | blob | history

diff --git a/.github/actions/add-to-release/action.yml b/.github/actions/add-to-release/action.yml
index 09998f46f26efd85ab4c176364853fd0cae3413b..1db34bdf88d0e738534f90d16f2edb0014649b3d 100644 (file)
--- 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 }}