From 7e4ff21816cf286b99b0dfb18ab92122d260d8f4 Mon Sep 17 00:00:00 2001 From: Kevin Quick Date: Tue, 12 Oct 2021 15:15:41 -0700 Subject: [PATCH 1/3] [CI] specify where opam installs ocaml packages. --- .github/workflows/ci.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 1b67c9b4c1..3cb8403848 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -19,6 +19,7 @@ env: SOLVER_PKG_VERSION: "snapshot-20210917" OCAML_VERSION: 4.09.x + OPAMROOT: ~/opam-coq-8_12_2 jobs: config: From 810070fdb78510cb5925e380a23300082638974e Mon Sep 17 00:00:00 2001 From: Kevin Quick Date: Tue, 12 Oct 2021 16:42:00 -0700 Subject: [PATCH 2/3] Revert the OPAMROOT setting for testing. --- .github/workflows/ci.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 3cb8403848..f968aaf260 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -19,7 +19,7 @@ env: SOLVER_PKG_VERSION: "snapshot-20210917" OCAML_VERSION: 4.09.x - OPAMROOT: ~/opam-coq-8_12_2 + OPAMROOT_NOT: ~/opam-coq-8_12_2 jobs: config: From 5ce39937101cc638e711c0018bbd494524101d78 Mon Sep 17 00:00:00 2001 From: Kevin Quick Date: Tue, 12 Oct 2021 20:30:23 -0700 Subject: [PATCH 3/3] Enable the opam dune-cache for ocaml setup. --- .github/workflows/ci.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index f968aaf260..db91959af4 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -216,6 +216,7 @@ jobs: - uses: ocaml/setup-ocaml@v2 with: ocaml-compiler: 4.09.x # coq-bits claims to support < 4.10 only + dune-cache: true - run: opam repo add coq-released https://coq.inria.fr/opam/released