CI

Signed-off-by: Kakadu <Kakadu@pm.me>

Author: Kakadu

.github/workflows/master.yml

@@ -34,9 +34,9 @@ jobs:
         with:
           submodules: true
 
-      - run: opam pin add ./OCanren --yes --deps-only --with-test --with-doc
+      - run: opam pin add ./OCanren --yes   --with-test --with-doc
         working-directory: ./src
-      - run: opam pin add ./noCanren --yes --deps-only --with-test --with-doc
+      - run: opam pin add ./noCanren --yes   --with-test --with-doc
         working-directory: ./src
 
       - run: opam install . --yes --deps-only --with-test --with-doc