where is the opam root?

LPCIC · Dec 14, 2024 · 8d3f5ed · 8d3f5ed
1 parent 1cef7e8
commit 8d3f5ed
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -42,6 +42,7 @@ jobs:
         ocaml-compiler: ${{ matrix.ocaml_version }}
         opam-pin: false
         opam-local-packages:
+    - run: ls -l
     - run: opam install dune.3.16.1
     - run: opam pin add dune 3.16.1
     - run: opam repo add coq-dev https://coq.inria.fr/opam/core-dev