From fed22c86a601ae49c0062506fb53aeb79ece09a0 Mon Sep 17 00:00:00 2001 From: Stephen Sherratt Date: Thu, 6 Jun 2024 23:07:13 +1000 Subject: [PATCH] Use fixed version of mirage in mirage test (#10615) Signed-off-by: Stephen Sherratt --- .github/workflows/mirage.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/mirage.yml b/.github/workflows/mirage.yml index 93e965116ff..0d5602351b0 100644 --- a/.github/workflows/mirage.yml +++ b/.github/workflows/mirage.yml @@ -21,6 +21,6 @@ jobs: - 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 - - run: opam install mirage opam-monorepo.0.3.6 + - run: opam install mirage.4.4.2 opam-monorepo.0.3.6 - run: cd mirage; opam exec -- mirage configure -f config.ml -t hvt - run: cd mirage; opam exec -- make depend lock pull build