diff --git a/nix/frama-ci.nix b/nix/frama-ci.nix index 652e17f7378aa86a80c711d11cb4444f4b191eb3..3358819663aa8eaa73e009906b4ccdaee85a9589 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" = "4add9658dfda894a5db9de59aa7a5657c8cf7b2b"; - "ref" = "feature/ci/update-opam"; + "rev" = "fb42f812c4c50bcac90a672e966927755cfcdf1c"; + "ref" = "feature/nix/add_wp_cache"; }; in {