Scripts: remove previous dist-file if still exists

This commit is contained in:
Pieter Vander Vennet 2025-03-31 01:22:51 +02:00
parent aa09b21bcb
commit b4057c4b8f

View file

@ -54,6 +54,7 @@ jobs:
- name: Zipping dist file
run: |
BRANCH=$(echo ${{ github.ref_name }} | sed 's/\//-/g')
rm -rf /tmp/${BRANCH}
mv dist /tmp/${BRANCH}
cd /tmp
zip ${BRANCH}.zip -r ${BRANCH}/*