ci: switch lint:tidy from Arch to Debian 13

The problem was that in Arch the clang-tidy package
updates at random moments, so we have to resolve
the issues when doing urelated refreshes of CI images.

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 7f7c7702b08e31c003723c3e759ba88152494ac2..8a292065961c4d835a86dc179606f644f7bad629 100644 (file)
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -85,12 +85,6 @@ stages:
     reports:
       junit: build_ci*/meson-logs/integration.deckard.junit.xml
 
-.after_build_arch: &after_build_arch
-  <<: *after_build
-  image: $IMAGE_PREFIX/arch:$IMAGE_TAG
-  needs:
-    - build-arch
-
 .nodep: &nodep
   <<: *common
   needs: []
@@ -350,7 +344,9 @@ lint:pedantic:
     - ninja -C build_pedantic_clang
 
 lint:tidy:
-  <<: *after_build_arch
+  <<: *after_build
+  image: $IMAGE_PREFIX/debian13-knot_3_5:$IMAGE_TAG
+  # TODO: when we add a resolver build using the same image, we probably add a `needs:`
   stage: sanity
   script:
     - ninja -C build_ci* tidy