diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index d604612c638ba2c5ada1eb5bb785245f22953997..a044e8ba50f41f09e9c89062f3f0ed18f1d74d15 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -33,5 +33,11 @@ tests-on-llvm-11:
   stage: tests
   script:
    - nix/frama-ci.sh build -A frama-clang.on-llvm11.tests
+  when: manual
+
+tests-on-llvm-13:
+  stage: tests
+  script:
+   - nix/frama-ci.sh build -A frama-clang.on-llvm13.tests
   tags:
    - nix
diff --git a/nix/default.nix b/nix/default.nix
index 32d6548e052e7f3deb6bb23e0a1155c8e5e54ecb..eeef53864cd131b122c4a831180898a722321910 100644
--- a/nix/default.nix
+++ b/nix/default.nix
@@ -23,10 +23,18 @@ let frama_clang_build =
        why3 config detect
      '';
    });
+    pkgs = import (
+      builtins.fetchTarball {
+        url = "https://github.com/NixOS/nixpkgs/archive/ed2c99e65f4f5f4bf3bb3a3422f07fc8ec9a97ce.tar.gz";
+        sha256="1bp4fkswpl7s2clxbdbff8j42dsns4ihvc5l9399v9kapxb7wx5f";
+        }
+      )
+    {};
 in
 (frama_clang_build { llvm_version="9"; })
   .extend(
     self: super:
     { on-llvm10 = (frama_clang_build { llvm_version="10"; });
       on-llvm11 = (frama_clang_build { llvm_version="11"; });
+      on-llvm13 = (frama_clang_build { inherit pkgs; llvm_version="13"; });
     })