Unnamed repository; edit this file 'description' to name the repository.
Fix release builds.
Blaž Hrastnik 2021-05-12
parent bc99b61 · commit 7260720
-rw-r--r--.github/workflows/release.yml2
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
index a99ddd5d..4dfe9fc8 100644
--- a/.github/workflows/release.yml
+++ b/.github/workflows/release.yml
@@ -130,7 +130,7 @@ jobs:
- name: Build archive
shell: bash
run: |
- set -euxo pipefail
+ set -ex
rm -rf tmp
mkdir tmp