From 6e0107cb8972f53c66d51a3fc7370dca5c30537e Mon Sep 17 00:00:00 2001 From: Hugo Heuzard Date: Fri, 21 Jul 2023 16:36:01 +0200 Subject: [PATCH 1/3] Misc: no backgroud cache --- .github/workflows/build.yml | 4 ++-- dune-workspace | 6 ++++++ 2 files changed, 8 insertions(+), 2 deletions(-) create mode 100644 dune-workspace diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 3ab6cdb4b2..07d5545e2e 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -88,7 +88,7 @@ jobs: dra27: https://github.com/dra27/opam-repository.git#windows-5.0 default: https://github.com/ocaml-opam/opam-repository-mingw.git#sunset opam: https://github.com/ocaml/opam-repository.git - dune-cache: false + dune-cache: true opam-depext: ${{ !matrix.skip-test }} opam-depext-flags: --with-test @@ -97,7 +97,7 @@ jobs: uses: ocaml/setup-ocaml@v2 with: ocaml-compiler: ${{ matrix.ocaml-compiler }} - dune-cache: ${{ matrix.os != 'macos-latest' }} + dune-cache: true opam-depext: ${{ !matrix.skip-test }} opam-depext-flags: --with-test diff --git a/dune-workspace b/dune-workspace new file mode 100644 index 0000000000..7fe9f650ad --- /dev/null +++ b/dune-workspace @@ -0,0 +1,6 @@ +(lang dune 3.7) + +(env + (_ + (env-vars + (DUNE_CONFIG__BACKGROUND_SANDBOXES disabled)))) From 2feff891caa2d4e29f6425912300334c042561e9 Mon Sep 17 00:00:00 2001 From: Hugo Heuzard Date: Fri, 21 Jul 2023 16:37:28 +0200 Subject: [PATCH 2/3] fix --- dune-workspace | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dune-workspace b/dune-workspace index 7fe9f650ad..aa57780bad 100644 --- a/dune-workspace +++ b/dune-workspace @@ -3,4 +3,4 @@ (env (_ (env-vars - (DUNE_CONFIG__BACKGROUND_SANDBOXES disabled)))) + (DUNE_CONFIG__BACKGROUND_DIGESTS disabled)))) From 6573530dae30b1dd9e384fe48ec3e0e43f248fec Mon Sep 17 00:00:00 2001 From: Hugo Heuzard Date: Fri, 21 Jul 2023 17:19:00 +0200 Subject: [PATCH 3/3] fix --- .github/workflows/build.yml | 3 +++ dune-workspace | 6 ------ 2 files changed, 3 insertions(+), 6 deletions(-) delete mode 100644 dune-workspace diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 07d5545e2e..30136f56fb 100644 --- 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 deleted file mode 100644 index aa57780bad..0000000000 --- a/dune-workspace +++ /dev/null @@ -1,6 +0,0 @@ -(lang dune 3.7) - -(env - (_ - (env-vars - (DUNE_CONFIG__BACKGROUND_DIGESTS disabled))))