diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index 822ce6f6..1aac68ab 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml @@ -153,8 +153,8 @@ 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 fmt lwt bytes seq mirage-flow ptime domain-name ocaml-ipaddr mirage-ptime ocplib-endian digestif eqaf mirage-crypto psq mirage-tcpip duration mirage cmdliner randomconv mirage-mtime mtime lru arp ethernet mirage-net mirage-sleep + - run: cd example/w-mirage/duniverse && rm -rf $(OPAMCOLOR=never opam list --installed --short) ocaml-cstruct logs fmt lwt lwt-dllist bytes seq mirage-flow ptime domain-name ocaml-ipaddr mirage-ptime ocplib-endian digestif eqaf ohex mirage-crypto psq mirage-tcpip tcpip duration mirage cmdliner randomconv mirage-mtime mtime lru arp ethernet mirage-net mirage-sleep - run: cd example/w-mirage && mv config.ml.backup config.ml - run: cd example/w-mirage && sed -i -e 's/(libraries/(libraries dream-mirage/' dune.build - - run: cd example/w-mirage && opam exec -- dune build + - run: cd example/w-mirage && opam exec -- dune build ./main.exe - run: file example/w-mirage/_build/default/main.exe