From 8741e9f34b060f3d60bfe7fe6fee2cde187ceec0 Mon Sep 17 00:00:00 2001
From: Matthew Fernandez <matthew.fernandez@gmail.com>
Date: Thu, 10 Aug 2023 17:37:54 +1000
Subject: [PATCH] CI: upgrade HTML lint task to Ubuntu 23.04
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Ubuntu 22.10 was EOLed on 2023-07-26.¹

¹ https://wiki.ubuntu.com/Releases
---
 .gitlab-ci.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 4ea22dcc53..68145f0195 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -1343,10 +1343,10 @@ lint_cmake_format:
     - tags
 
 lint_html:
-  image: "$CI_REGISTRY_IMAGE/ubuntu-22.10:$CI_COMMIT_SHA"
+  image: "$CI_REGISTRY_IMAGE/ubuntu-23.04:$CI_COMMIT_SHA"
   stage: test
   needs:
-    - docker_build_ubuntu-22.10
+    - docker_build_ubuntu-23.04
   script:
     - git ls-files -z -- '**/*.html' | xargs -0 -- xmllint --nonet --noout --html --valid
   except: