Remove --with-test and --with-doc flags

See #256
na4zagin3 · Jan 19, 2021 · f9b3528 · f9b3528
1 parent 3e13e79
commit f9b3528
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -84,8 +84,6 @@ jobs:
           opam pin add "${SNAPSHOT}.dev" . --no-action
           opam depext "$SNAPSHOT" --yes
           opam install "$SNAPSHOT" --yes
-          opam depext "$SNAPSHOT" --yes --with-doc --with-test
-          opam install "$SNAPSHOT" --yes --with-doc --with-test
 
       - name: Detect file collisions in installed SATySFI libraries
         run: |