diff --git a/nix/frama-ci.nix b/nix/frama-ci.nix index 0dc2337bb51f28e5e8d99196fc542f26a699e745..65141e9684de9637e600df87397aeb97366afdbf 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" = "22961f3356c3eb1279d817772b4f19c352d055a7"; - "ref" = "master"; + "rev" = "f86e807d6f440ac4479b78f8419dfd817803419d"; + "ref" = "feature/wp/versions-bump"; }; in {