From 9f6892513de351e17127a68dc583267796fd406b Mon Sep 17 00:00:00 2001 From: Stephan Seitz Date: Tue, 21 Sep 2021 19:40:35 +0200 Subject: [PATCH] ci: set tag for Vulkan-Headers if non-existing --- .github/workflows/set-version-tag.yml | 28 ++++++++++++++++++++++++++ .github/workflows/update-header-pr.yml | 4 ++-- 2 files changed, 30 insertions(+), 2 deletions(-) create mode 100644 .github/workflows/set-version-tag.yml diff --git a/.github/workflows/set-version-tag.yml b/.github/workflows/set-version-tag.yml new file mode 100644 index 0000000..270fcf1 --- /dev/null +++ b/.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?" diff --git a/.github/workflows/update-header-pr.yml b/.github/workflows/update-header-pr.yml index ab91ed0..dc63954 100644 --- a/.github/workflows/update-header-pr.yml +++ b/.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!