From af60225671742bb316ca8a0f8fbcc69906c2179c Mon Sep 17 00:00:00 2001 From: Hannes Mehnert Date: Fri, 11 Nov 2022 13:58:46 +0100 Subject: [PATCH] github action: something sets OPAMCLI to 2.0, so no --confirm-level=yes available --- .github/workflows/main.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 1b40e48..637231e 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -28,7 +28,7 @@ jobs: with: ocaml-compiler: ${{ matrix.ocaml-compiler }} - - run: opam install --confirm-level=unsafe-yes "mirage>4" + - run: opam install "mirage>4" - run: opam exec -- mirage configure -t xen && make depend && dune build