ci: set tag for Vulkan-Headers if non-existing

.github/workflows/set-version-tag.yml

@@ -0,0 +1,28 @@
+name: Set Version Tag
+
+on:
+  push:
+    branches: ["master"]
+
+jobs:
+  set-version-tag:
+    runs-on: ubuntu-latest
+    
+    steps:
+    - uses: actions/checkout@v2
+    
+    - name: Update Submodules
+      run: |
+        git submodule update --init --recursive
+        cd Vulkan-Headers
+        VK_HEADER_GIT_TAG=$(git tag --points-at HEAD | head -n1)
+        git checkout $VK_HEADER_GIT_TAG
+        echo "VK_HEADER_GIT_TAG=$VK_HEADER_GIT_TAG" >> $GITHUB_ENV
+
+    - name: Set Tag
+      env:
+        GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+      run: |
+        git remote set-url origin https://x-access-token:${GITHUB_TOKEN}@github.com/${GITHUB_REPOSITORY}.git
+        git tag $VK_HEADER_GIT_TAG || echo "Failed to set tag. Already existing?"
+        git push -u origin $VK_HEADER_GIT_TAG || echo "Failed to push tag. Already existing?"

.github/workflows/update-header-pr.yml

@@ -1,4 +1,4 @@
-name: CI Ubuntu
+name: Update Vulkan-Headers PR
 
 on:
   schedule:
@@ -56,4 +56,4 @@ jobs:
         branch: update-vulkan-headers-pr
         base: ${{ github.head_ref }}
         body: |
-          Please close and open this PR to trigger the CI!
+          Please close and reopen this PR to trigger the CI!