🤖 Correctly delete unneeded files in release

This commit is contained in:
Ettore Di Giacinto
2022-08-19 13:06:49 +00:00
parent 196ba3c315
commit 6a364e382e

View File

@@ -59,7 +59,7 @@ jobs:
IMAGE=$(cat release/IMAGE)
docker push $IMAGE
cosign sign $IMAGE
rm -rf release/IMAGE release/VERSION
sudo rm -rf release/IMAGE release/VERSION
- name: Release
uses: softprops/action-gh-release@v1
if: startsWith(github.ref, 'refs/tags/')