ci: only commit measurements if changes are present

Signed-off-by: Moritz Sanft <58110325+msanft@users.noreply.github.com>
This commit is contained in:
Moritz Sanft 2024-07-02 08:45:06 +02:00
parent 7945778d67
commit 7bb13e6cdb
No known key found for this signature in database
GPG Key ID: 335D28368B1DA615

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)