From eadfa4981a244cd1583b9d5bfd2d14b9dbd57736 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Mon, 21 Feb 2022 15:31:17 -0500 Subject: [PATCH] force dune 2.9 in CI --- .github/workflows/main.yml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 26d42707..4c735dfb 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -38,6 +38,8 @@ jobs: - run: opam install -t containers containers-data containers-thread --deps-only if: matrix.os == 'ubuntu-latest' + - run: opam pin dune 2.9.3 -y -n + - run: | opam install -t containers --deps-only opam install containers-data containers-thread --deps-only # no test deps