From 6dbba25f903c6980bd33aa0041f919375b5795a3 Mon Sep 17 00:00:00 2001
From: Michele Alberti <michele.alberti@cea.fr>
Date: Thu, 6 Aug 2020 11:00:58 +0200
Subject: [PATCH] [Nix] Some hacking.
---
.gitlab-ci.yml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 6d50bcc..0211783 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -19,6 +19,6 @@ git-update:
Tests:
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