CI: upgrade HTML lint task to Ubuntu 23.04

Ubuntu 22.10 was EOLed on 2023-07-26.¹ ¹ https://wiki.ubuntu.com/Releases
darcythomas · Aug 17, 2023 · 8741e9f · 8741e9f
1 parent ca31146
commit 8741e9f
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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: