From 7cbb3c2183ca1dc6edb5cab29fd42040ddb8ae01 Mon Sep 17 00:00:00 2001 From: Stephen Sherratt Date: Tue, 11 Jun 2024 19:25:18 +1000 Subject: [PATCH] Fix version of opam repo in mirage test (#10633) Signed-off-by: Stephen Sherratt --- .github/workflows/mirage.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/mirage.yml b/.github/workflows/mirage.yml index 0d5602351b0..8ebd60ad9a4 100644 --- a/.github/workflows/mirage.yml +++ b/.github/workflows/mirage.yml @@ -18,6 +18,7 @@ jobs: with: ocaml-compiler: 4.14.x opam-depext: false + - run: opam repo set-url default git+https://github.com/ocaml/opam-repository#dc24cade5f037058a4d86fcdd008159923152db5 - run: sed -i s/1.3/2.7/ dune-project - run: opam pin add -n dune.dev git+https://github.com/ocaml/dune#$GITHUB_SHA - run: sudo apt install libseccomp-dev