Merge branch 'feature/basile/purification' into 'master'

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

Merge branch 'feature/basile/purification' into 'master'
48112aa4 · Basile Desloges · e9206e12 · 45f24376 · 48112aa4
Commit 48112aa4 authored 4 years ago by Basile Desloges
--- 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" = "073b5669686e4c5f48bc450a37b6048bacf5d025";
-            "ref" = "master";
+            "rev" = "e0b8d5ff621eb2953b848b2711e873e9ead25add";
+            "ref" = "e0b8d5ff621eb2953b848b2711e873e9ead25add";
    };
 in
 {