fix

ocsigen · Jul 21, 2023 · 6573530 · 6573530
1 parent 2feff89
commit 6573530
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 6 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -1,5 +1,8 @@
 name: build
 
+env:
+  DUNE_CONFIG__BACKGROUND_DIGESTS: disabled
+
 on:
   pull_request:
   push:

diff --git a/dune-workspace b/dune-workspace