fix

ocsigen · Jul 21, 2023 · 2feff89 · 2feff89
1 parent 6e0107c
commit 2feff89
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/dune-workspace b/dune-workspace
@@ -3,4 +3,4 @@
 (env
  (_
   (env-vars
-   (DUNE_CONFIG__BACKGROUND_SANDBOXES disabled))))
+   (DUNE_CONFIG__BACKGROUND_DIGESTS disabled))))