From 2be3865601d16277cf625af6750949d62c6606c8 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Fri, 8 Jul 2022 11:18:44 +0200
Subject: [PATCH] [ci] WP cache: offline
---
nix/internal-tests.nix | 2 +-
nix/mk_plugin.nix | 2 +-
nix/mk_tests.nix | 2 +-
3 files changed, 3 insertions(+), 3 deletions(-)
diff --git a/nix/internal-tests.nix b/nix/internal-tests.nix
index b3cb335f0fd..2df01e54b16 100644
--- a/nix/internal-tests.nix
+++ b/nix/internal-tests.nix
@@ -123,7 +123,7 @@ stdenvNoCC.mkDerivation rec {
mkdir home
HOME=$(pwd)/home
why3 config detect
- export FRAMAC_WP_CACHE=replay
+ export FRAMAC_WP_CACHE=offline
export FRAMAC_WP_CACHEDIR=$wp_cache
'';
diff --git a/nix/mk_plugin.nix b/nix/mk_plugin.nix
index 78f8bb9e600..c5280b67f10 100644
--- a/nix/mk_plugin.nix
+++ b/nix/mk_plugin.nix
@@ -100,7 +100,7 @@ stdenv.mkDerivation {
mkdir home
HOME=$(pwd)/home
why3 config detect
- export FRAMAC_WP_CACHE=replay
+ export FRAMAC_WP_CACHE=offline
export FRAMAC_WP_CACHEDIR=$wp_cache
''
else "") ;
diff --git a/nix/mk_tests.nix b/nix/mk_tests.nix
index b1b11123883..4241026860b 100644
--- a/nix/mk_tests.nix
+++ b/nix/mk_tests.nix
@@ -70,7 +70,7 @@ stdenvNoCC.mkDerivation {
mkdir home
HOME=$(pwd)/home
why3 config detect
- export FRAMAC_WP_CACHE=replay
+ export FRAMAC_WP_CACHE=offline
export FRAMAC_WP_CACHEDIR=$wp_cache
''
else "" ;
--
GitLab