aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBlaž Hrastnik2021-05-12 13:14:56 +0000
committerBlaž Hrastnik2021-05-12 13:14:56 +0000
commit726072085d019b1ce9e3cdf4e1557a1148723482 (patch)
treefb50acd88b7e4ddca16a1f1ee7a0917617b3fa38
parentbc99b61be2812d84f198c31fccbc56e989755574 (diff)
Fix release builds.
-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