Migrate to debian12 for CI

.gitlab-ci.yml

@@ -7,7 +7,7 @@ include: template.yml
 # The validate pipelines
 
 x86_64-linux:
-  extends: .build-x86_64-linux-deb10
+  extends: .build-x86_64-linux-deb12
   rules:
     - if: '$UPSTREAM_PIPELINE_ID'
       when: never
@@ -35,7 +35,7 @@ aarch64-darwin:
     - when: always
 
 aarch64-linux:
-  extends: .build-aarch64-linux-deb10
+  extends: .build-aarch64-linux-deb12
   rules:
     - if: '$UPSTREAM_PIPELINE_ID'
       when: never

.gitlab/gen_ci/gen_ci.py

@@ -112,7 +112,7 @@ def mk_new_yaml(job_map, job_mapping, pipeline_type, version):
         return job
 
 
-    platforms = [debian("x86_64", 10), debian("aarch64", 10), darwin("aarch64"), darwin("x86_64")]
+    platforms = [debian("x86_64", 12), debian("aarch64", 12), darwin("aarch64"), darwin("x86_64")]
     result = {}
     for platform in platforms:
         result.update(mk(platform))

template.yml

 variables:
-  DOCKER_REV: "a9c0f5efbe503c17f63070583b2d815e498acc68"
+  DOCKER_REV: "486541129a8e7bf77c2cf7cd76ca998f690d5685"
   BINDIST_REF: "master"
 
 .build:
   script:
     - .gitlab/ci.sh
 
-.build-x86_64-linux-deb10:
+.build-x86_64-linux-deb12:
   extends: .build
   variables:
     NO_LLVM: 1
     GHC_ARGS: -fPIC
-  image: "registry.gitlab.haskell.org/ghc/ci-images/x86_64-linux-deb10:$DOCKER_REV"
+  image: "registry.gitlab.haskell.org/ghc/ci-images/x86_64-linux-deb12:$DOCKER_REV"
   tags:
     - x86_64-linux
 
@@ -38,10 +38,10 @@ variables:
   tags:
     - aarch64-darwin
 
-.build-aarch64-linux-deb10:
+.build-aarch64-linux-deb12:
   extends: .build
   variables:
     NO_LLVM: 1
-  image: "registry.gitlab.haskell.org/ghc/ci-images/aarch64-linux-deb10:$DOCKER_REV"
+  image: "registry.gitlab.haskell.org/ghc/ci-images/aarch64-linux-deb12:$DOCKER_REV"
   tags:
     - aarch64-linux