Update nix/frama-ci.*

255a3891 · Virgile Prevosto · Virgile Prevosto · 20db3784 · 255a3891
Commit 255a3891 authored Apr 26, 2021 by Virgile Prevosto Committed by Virgile Prevosto Jul 06, 2021
--- a/nix/frama-ci.nix
+++ b/nix/frama-ci.nix
@@ -5,7 +5,7 @@ let
    src = builtins.fetchGit {
            "url" = "https://bobot:${password}@git.frama-c.com/frama-c/Frama-CI.git";
            "name" = "Frama-CI";
-            "rev" = "f12b1940616861ffa16f85d48bcebc83252a18f1";
+            "rev" = "1186a0ea243b23d8d1c761fb0c007c964ca0fbcf";
            "ref" = "feature/upgrade-opam2nix";
    };
 in