diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 6d50bcc59527cf729a2b694f2c5d4fb27d2bb5f6..fb64ae7f33c7664ff35b842fc8c9303cf5398dd9 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -16,9 +16,16 @@ git-update: tags: - nix -Tests: +tests-on-llvm-9: stage: tests script: - nix/frama-ci.sh build -A frama-clang.tests tags: - nix + +tests-on-llvm-10: + stage: tests + script: + - nix/frama-ci.sh build -A frama-clang.on-llvm10.tests + tags: + - nix