Attempt a fix to the ocaml-tests job

GaloisInc · Jul 30, 2021 · 12ae5d5 · 12ae5d5
1 parent 50fcc27
commit 12ae5d5
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -191,6 +191,7 @@ jobs:
       - uses: ocaml/setup-ocaml@v2
         with:
           ocaml-compiler: 4.09.x  # coq-bits claims to support < 4.10 only
+          opam-depext: false
 
       - run: opam repo add coq-released https://coq.inria.fr/opam/released