From e5833db4f7d7cdfdad65d900f44335c3ea409836 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Lo=C3=AFc=20Correnson?= <loic.correnson@cea.fr> Date: Tue, 13 Apr 2021 12:58:22 +0000 Subject: [PATCH] Update nix/frama-ci.* --- nix/frama-ci.nix | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/nix/frama-ci.nix b/nix/frama-ci.nix index 0dc2337b..c7ee97ff 100644 --- a/nix/frama-ci.nix +++ b/nix/frama-ci.nix @@ -1,12 +1,12 @@ #To copy in other repository -{ pkgs ? import <nixpkgs> {}, password}: +{ pkgs, password}: let src = builtins.fetchGit { "url" = "https://bobot:${password}@git.frama-c.com/frama-c/Frama-CI.git"; "name" = "Frama-CI"; - "rev" = "22961f3356c3eb1279d817772b4f19c352d055a7"; - "ref" = "master"; + "rev" = "f86e807d6f440ac4479b78f8419dfd817803419d"; + "ref" = "feature/wp/versions-bump"; }; in { -- GitLab