From 6f53923b561d65d185fa190d070479fb72c6a7c0 Mon Sep 17 00:00:00 2001
From: Michele Alberti <michele.alberti@cea.fr>
Date: Thu, 6 Aug 2020 15:45:22 +0200
Subject: [PATCH] [Nix] Use hatrick to overcome old nix version.
---
.gitlab-ci.yml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 87d65d5591a..d2b59ffda31 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -67,7 +67,7 @@ genassigns:
frama-clang:
stage: tests
script:
- - nix/frama-ci.sh build -A frama-clang.tests
+ - 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"
tags:
- nix
--
GitLab