retry without odoc but still mdx

grayswandyr · Mar 4, 2024 · 7c665ff · 7c665ff
1 parent 5526a4f
commit 7c665ff
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/binaries.yml b/.github/workflows/binaries.yml
@@ -29,7 +29,7 @@ jobs:
             electrod.opam
 
       - name: Dependencies
-        run: opam install . --deps-only --with-test --with-doc
+        run: opam install . --deps-only --with-test
 
       - name: Build
         run: opam exec -- dune build