Merge branch 'feature/nix/add_ci_to_linea-cabs' into 'master'

Update Frama-CI data See merge request frama-c/meta!66

Merge branch 'feature/nix/add_ci_to_linea-cabs' into 'master'
2d4fccbc · Allan Blanchard · 52aaf7b2 · 153cabfc · 2d4fccbc
Commit 2d4fccbc authored 2 years ago by Allan Blanchard
--- a/nix/frama-ci.nix
+++ b/nix/frama-ci.nix
@@ -5,8 +5,8 @@ let
    src = builtins.fetchGit {
            "url" = "https://bobot:${password}@git.frama-c.com/frama-c/Frama-CI.git";
            "name" = "Frama-CI";
-            "rev" = "e33541f771435c6b1014acf1b042f569deadb663";
+            "rev" = "37fae65509b51c40cf72e9f0312e45303db73c05";
-            "ref" = "master";
+            "ref" = "feature/nix/add_ci_to_linea-cabs";
    };
    pkgs = import "${src}/pkgs.nix" {};
 in