diff --git a/nix/frama-ci.nix b/nix/frama-ci.nix index 6522675d3f51defaa8f4269181bc679dad3f097e..ce0e87a5dff5d1d6eb098b7e2461311249bdaf3d 100644 --- 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" = "58e51d3a0811dc7641781ec9784e4bd52e33a3a5"; - "ref" = "feature/nix/add_ci_to_metacsl"; + "rev" = "36e99854d59cda2c97d0b52f1f098f6beb3baf04"; + "ref" = "master"; }; in {