ci: remove --with-dev-setup

Author: aspeddro

.github/workflows/ci.yml

@@ -186,7 +186,7 @@ jobs:
 
       - name: Install OPAM dependencies
         if: steps.cache-opam-env.outputs.cache-hit != 'true'
-        run: opam install . --deps-only --with-dev-setup
+        run: opam install . --deps-only
 
       - name: Cache OPAM environment
         if: steps.cache-opam-env.outputs.cache-hit != 'true'