diff --git a/nix/frama-ci.nix b/nix/frama-ci.nix index b71b4dc788b1fae3d160b9699089aaecd55f7f0c..be59be5c7e77798ef6d1ec757e0b8a6171481807 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" = "22ccb4e8951b6ac6eb62b0b0c6a53f9a98c94951"; - "ref" = "master"; + "rev" = "4dd9d4def36be28bba9751d652bd8849eeca505a"; + "ref" = "fix/nix/easy-format"; }; pkgs = import "${src}/pkgs.nix" {}; in