[PATCH v4 3/3] ci: Build vkd3d with SPIRV-Tools.