Skip to content

Commit

Permalink
Use fixed version of mirage in mirage test (#10615)
Browse files Browse the repository at this point in the history
Signed-off-by: Stephen Sherratt <[email protected]>
  • Loading branch information
gridbugs authored Jun 6, 2024
1 parent 034e352 commit fed22c8
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion .github/workflows/mirage.yml
Original file line number Diff line number Diff line change
Expand Up @@ -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

0 comments on commit fed22c8

Please sign in to comment.