ci: only commit measurements if changes are present (#3223)

Signed-off-by: Moritz Sanft <58110325+msanft@users.noreply.github.com>
This commit is contained in:
Moritz Sanft 2024-07-02 09:12:46 +02:00 committed by GitHub
parent 7945778d67
commit c48995f249
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -250,8 +250,12 @@ jobs:
run: |
git config --global user.name "edgelessci"
git config --global user.email "edgelessci@users.noreply.github.com"
git commit -m "attestation: hardcode measurements for ${VERSION}"
git push
if git diff-index --quiet HEAD --; then
echo "No changes to commit"
else
git commit -m "attestation: hardcode measurements for ${VERSION}"
git push
fi
draft-release:
name: Draft release (CLI)