From b8f4d15df44625d8251a32b7ef249d71ea87dc0a Mon Sep 17 00:00:00 2001
From: Martin Pulec <martin.pulec@cesnet.cz>
Date: Fri, 9 Feb 2024 11:44:49 +0100
Subject: [PATCH] CI FFmpeg Linux: pin Vulkan-Headers

FFmpeg doesn't currently build with current version of Vulkan-Headers.

See failed run:
<https://github.com/CESNET/UltraGrid/actions/runs/7842879019/job/21402069840>
---
 .github/scripts/Linux/install_others.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.github/scripts/Linux/install_others.sh b/.github/scripts/Linux/install_others.sh
index 67d7e2775..8fc91e551 100755
--- a/.github/scripts/Linux/install_others.sh
+++ b/.github/scripts/Linux/install_others.sh
@@ -80,7 +80,8 @@ install_pipewire() {(
 
 # FFmpeg master needs at least v1.3.238 as for 23th Aug '23
 install_vulkan() {(
-        git clone --depth 1 https://github.com/KhronosGroup/Vulkan-Headers
+        # TOREMOVE: FFmpeg doesn't currently build with main (2024-02-09)
+        git clone -b v1.3.276 --depth 1 https://github.com/KhronosGroup/Vulkan-Headers
         mkdir Vulkan-Headers/build
         cd Vulkan-Headers/build
         cmake ..