ci: only create a header update PR if tag does not yet exist

This commit is contained in:
Stephan Seitz 2022-03-08 09:52:06 +01:00
parent 2d5c2f44cc
commit bafe3240d7

View File

@ -46,7 +46,15 @@ jobs:
git config user.email "noreply@github.com"
git add Vulkan-Headers vulkan
rm -rf build
git commit -m "Update Vulkan-Headers to $VK_HEADER_GIT_TAG" || echo 'No commit necessary!'
git fetch --all --tags
if [ -z $(git tag | grep $VK_HEADER_GIT_TAG) ]
then
echo "Creating commit for new tag: $VK_HEADER_GIT_TAG"
git commit -m "Update Vulkan-Headers to $VK_HEADER_GIT_TAG" || echo 'No commit necessary!'
else
echo "Tag already exists: $VK_HEADER_GIT_TAG"
fi
git stash
git clean -xf
- name: Create Pull Request