make

emillon · Jun 28, 2023 · 44744ed · 44744ed
1 parent 2851969
commit 44744ed
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/mirage.yml b/.github/workflows/mirage.yml
@@ -23,5 +23,5 @@ jobs:
       - 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
-      - run: opam exec -- mirage configure -f mirage/config.ml -t hvt
-      - run: opam exec -- make -C mirage lock pull build
+      - run: cd mirage; opam exec -- mirage configure -f config.ml -t hvt
+      - run: cd mirage; opam exec -- make lock pull build