From 3c4fdb6f31b591bb080da18a05af6b164a698fc4 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Bobot?= <francois.bobot@cea.fr>
Date: Fri, 21 Aug 2020 18:15:39 +0200
Subject: [PATCH] [CI] the version of nix tools have been bumped

---
 .gitlab-ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 0211783a..6d50bcc5 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -19,6 +19,6 @@ git-update:
 Tests:
   stage: tests
   script:
-   - nix-shell -I nixpkgs=https://github.com/NixOS/nixpkgs/archive/0c0fe6d85b92c4e992e314bd6f9943413af9a309.tar.gz -p nix --run "nix/frama-ci.sh build -A frama-clang.tests"
+   - nix/frama-ci.sh build -A frama-clang.tests
   tags:
    - nix
-- 
GitLab