CI

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

Author: Kakadu

.github/workflows/master.yml

@@ -17,7 +17,7 @@ jobs:
   build:
     runs-on: ubuntu-latest
     container:
-      image: kakadu18/ocaml:pltlab
+      image: kakadu18/ocaml:pltools
       options: --user user
 
     concurrency:
@@ -34,12 +34,12 @@ jobs:
         with:
           submodules: true
 
-      - run: opam pin add ./OCanren --yes   --with-test --with-doc
-        working-directory: ./src
-      - run: opam pin add ./noCanren --yes   --with-test --with-doc
-        working-directory: ./src
+      # - run: opam pin add ./OCanren --yes   --with-test --with-doc
+      #   working-directory: ./src
+      # - run: opam pin add ./noCanren --yes   --with-test --with-doc
+      #   working-directory: ./src
 
-      - run: opam install . --yes --deps-only --with-test --with-doc
+      - run: opam install . ./OCanren  ./noCanren  --yes --deps-only --with-test --with-doc
         working-directory: ./src
 
       - name: List installed dependencies...