#!/bin/bash # Github repository REPO="KhronosGroup/Vulkan-Headers" # Get tag name using Github Rest API TAG_NAME=$(curl -s -L -H "X-GitHub-Api-Version: 2022-11-28" -H "Authorization: token ${GITHUB_API_TOKEN}" https://api.github.com/repos/"$REPO"/tags | jq -r '.[].name' | grep -E '^v[0-9]{1,}\.[0-9]{1,}\.[0-9]{1,}' | head -n1) # Trim 'v' character in TAG_NAME variable VERSION=$(echo "$TAG_NAME" | tr -d 'v') echo "$VERSION"