diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index 3ab805f7..602e6601 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml @@ -119,7 +119,7 @@ jobs: - run: cd example/w-mirage && opam exec -- make depends - run: cd example/w-mirage && ls duniverse - run: cp -r ../repo-copy example/w-mirage/duniverse/dream - - run: cd example/w-mirage/duniverse && rm -rf ocaml-cstruct logs ke fmt lwt bytes seq mirage-flow sexplib0 ptime tls domain-name ocaml-ipaddr mirage-clock ocplib-endian digestif eqaf + - run: cd example/w-mirage/duniverse && rm -rf ocaml-cstruct logs ke fmt lwt bytes seq mirage-flow sexplib0 ptime tls domain-name ocaml-ipaddr mirage-clock ocplib-endian digestif eqaf mirage-crypto - run: cd example/w-mirage && mv config.ml.backup config.ml - run: cd example/w-mirage && sed -e 's/(libraries/(libraries dream-mirage/' < dune.build > dune.build.2 - run: cd example/w-mirage && mv dune.build.2 dune.build