cd ..
cd Vulkan-Headers
git pull origin main
cd ..
cd tools
php deviceExtensionsFileGenerator.php