From 64cc1fb852f89fffddeb6ae3206a6bacdbfbd34e Mon Sep 17 00:00:00 2001
From: Michele Alberti <michele.alberti@cea.fr>
Date: Tue, 17 Nov 2020 11:23:07 +0100
Subject: [PATCH] [CI] Add new test target to frama-clang pipeline.
---
.gitlab-ci.yml | 9 ++++++++-
1 file changed, 8 insertions(+), 1 deletion(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 6d50bcc5..fb64ae7f 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
--
GitLab