From ccf60c8e2e43faf2053ba39e5a5ff81f34ddcf60 Mon Sep 17 00:00:00 2001 From: Virgile Prevosto <virgile.prevosto@m4x.org> Date: Tue, 1 Feb 2022 09:08:17 +0100 Subject: [PATCH] [ci] re-add missing nix tags --- .gitlab-ci.yml | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index a044e8ba..118bc741 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -27,12 +27,16 @@ tests-on-llvm-10: stage: tests script: - nix/frama-ci.sh build -A frama-clang.on-llvm10.tests + tags: + - nix when: manual tests-on-llvm-11: stage: tests script: - nix/frama-ci.sh build -A frama-clang.on-llvm11.tests + tags: + - nix when: manual tests-on-llvm-13: -- GitLab