From 9d7d2e40489bba89919366c05328bcce8b0d700b Mon Sep 17 00:00:00 2001
From: Victor Campos <victor.campos@arm.com>
Date: Mon, 8 Jan 2024 17:27:57 +0000
Subject: [PATCH] [CI] Fix build-github-pages CI job

Recent updates to the pages-gem repository, used by the
build-github-pages CI job, have introduced a regression by which the
build fails due to incompatible Ruby version.

We'll fix this by passing in a specific Ruby version that's compatible.
---
 tools/build-github-pages.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/tools/build-github-pages.sh b/tools/build-github-pages.sh
index 9b3e54cb..c2800283 100755
--- a/tools/build-github-pages.sh
+++ b/tools/build-github-pages.sh
@@ -34,9 +34,9 @@ set -x
 ROOTDIR=$(realpath "$(dirname "$(realpath "$0")")/..")
 TEMPDIR=$(mktemp -d)
 cd $TEMPDIR
-git clone https://github.com/github/pages-gem.git
+git clone --depth 1 https://github.com/github/pages-gem.git
 cd pages-gem
-make image
+docker build -t gh-pages --build-arg RUBY_VERSION=3.2 .
 cd $ROOTDIR
 echo -e "plugins:\n \
         - jekyll-coffeescript\n \