[ci] use llvm-19 in CI

.gitlab-ci.yml

@@ -52,14 +52,14 @@ tests-auto:
   <<: *tests_template
   parallel:
     matrix:
-      - LLVM_VERSION: [ "12", "18" ]
+      - LLVM_VERSION: [ "12", "19" ]
 
 tests-manual:
   <<: *tests_template
   <<: *manual_template
   parallel:
     matrix:
-      - LLVM_VERSION: [ "13", "14", "15", "16", "17" ]
+      - LLVM_VERSION: [ "13", "14", "15", "16", "17", "18" ]
 
 ################################################################################
 ### DISTRIB

nix/pkgs.nix

@@ -18,6 +18,8 @@ let
       oself.callPackage ./frama-clang.nix { llvmPackages=pkgs.llvmPackages_17; };
     frama-clang-llvm-18 =
       oself.callPackage ./frama-clang.nix { llvmPackages=pkgs.llvmPackages_18; };
+    frama-clang-llvm-19 =
+      oself.callPackage ./frama-clang.nix { llvmPackages=pkgs.llvmPackages_19; };
     frama-clang = oself.frama-clang-llvm-12 ;
     frama-clang-manual =
       oself.callPackage ./frama-clang-manual.nix { };